TY  - RPRT
TI  - Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
AU  - Damian Kurpiewski
AU  - Jędrzej Michalczyk
AU  - Wojciech Jamroga
AU  - Jerzy Julian Michalski
AU  - Teofil Sidoruk
PY  - 2025
UR  - https://arxiv.org/abs/2511.22572
ID  - 2511.22572
ER  -