Sign in
Continuous-Time Safe Learning with Temporal Logic Constraints in Adversarial Environments.
Chuangchuang Sun
Kyriakos G. Vamvoudakis
Published in:
ACC (2020)
Keyphrases
</>
temporal logic
reinforcement learning
search algorithm
model checking
satisfiability problem
multi agent
dynamic environments
background knowledge
optimal control