4 papers · 1 filter
Towards Probabilistic Strategic Timed CTL
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek +2
We define PSTCTL, a probabilistic variant of Strategic Timed CTL (STCTL), interpreted over stochastic multi-agent systems with continuous time and asynchronous execution semantics.…
IMITATOR4AMAS: Strategy Synthesis for STCTL
Davide Catta, Adrien Lacroix, Wojciech Penczek +2
IMITATOR4AMAS supports model checking and synthesis of memoryless imperfect information strategies for STCTL, interpreted over networks of parametric timed automata with asynchrono…
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…
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The…