Strategic (Timed) Computation Tree Logic.

Jaime Arias Wojciech Jamroga Wojciech Penczek Laure Petrucci Teofil Sidoruk

Published in: CoRR (2023)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
finite state machines
epistemic logic
petri net
decision making
formal specification
model checker
minimal change
np complete
modal logic
satisfiability problem
inference rules
formal verification
temporal properties