Sign in
Dynamic Hypergames for Synthesis of Deceptive Strategies With Temporal Logic Objectives.
Lening Li
Haoxiang Ma
Abhishek Ninad Kulkarni
Jie Fu
Published in:
IEEE Trans Autom. Sci. Eng. (2023)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
satisfiability problem
modal logic
concurrent systems
linear temporal logic
verification method
transition systems
temporal knowledge
computation tree logic
software engineering
reactive systems