7 citations · 8 across the 9 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Damian Kurpiewski, Jędrzej Michalczyk, Wojciech Jamroga +2
This technical report presents a comprehensive formal verification approach for probabilistic agent systems modeling ballistic rocket flight trajectories using Probabilistic Altern…
cs.MA2025
Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
Wojciech Jamroga, Damian Kurpiewski, Łukasz Mikulski
Model checking of strategic abilities is a notoriously hard problem, even more so in the realistic case of agents with imperfect information, acting in a stochastic environment. As…