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