activity
20202026
most citedStrategic (Timed) Computation Tree Logic

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 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…