Published October 14, 2026
| Version 1.0.0
Software
Restricted
[Under peer review] Stochastic Risk Simulator: discrete-event multiagent simulation with bounded-memory PATL verification
Authors/Creators
-
1.
Universidad Nacional Autónoma de México
Description
Status: Under peer review. Code for a manuscript under journal peer review.
Python framework that combines discrete-event simulation of stochastic multiagent systems with bounded-memory PATL verification to evaluate risk under uncertainty. Code only; no data or manuscript included.
Files
Restricted
The record is publicly accessible, but files are restricted. Log in to check if you have access.
Additional details
Dates
- Created
-
2026-10-14