Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models.
Davide CattaJean LeneutreVadim MalvonePublished in: ECAI (2023)
Keyphrases
- temporal logic
- modal logic
- model checking
- linear temporal logic
- dynamic constraints
- verification method
- reactive systems
- predicate logic
- model checker
- complex systems
- bounded model checking
- transition systems
- logical formulas
- satisfiability problem
- concurrent systems
- modal operators
- nash equilibrium
- state space
- automata theoretic
- mazurkiewicz traces