Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives.
Lening LiHaoxiang MaAbhishek Ninad KulkarniJie FuPublished in: CoRR (2020)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- modal logic
- satisfiability problem
- temporal knowledge
- concurrent systems
- dynamic environments
- linear temporal logic
- transition systems
- computation tree logic
- belief revision
- finite state
- model checker
- reactive systems
- dynamical systems
- formal specification language
- mazurkiewicz traces