Strategic (Timed) Computation Tree Logic.

Jaime Arias Wojciech Jamroga Wojciech Penczek Laure Petrucci Teofil Sidoruk

Published in: AAMAS (2023)

Keyphrases

computation tree logic
model checking
temporal logic
epistemic logic
bounded model checking
petri net
finite state machines
formal specification
temporal properties
modal logic
model checker
satisfiability problem
decision making
inference rules
formal verification
belief revision
heuristic search