Login / Signup
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.
Navid Hashemi
Xin Qin
Jyotirmoy V. Deshmukh
Georgios Fainekos
Bardh Hoxha
Danil V. Prokhorov
Tomoya Yamaguchi
Published in:
CoRR (2022)
Keyphrases
</>
temporal logic
reinforcement learning
learning algorithm
neural network
domain specific
model checking
satisfiability problem
reactive systems
concurrent systems
linear temporal logic
artificial intelligence
multi agent systems
modal logic
evolutionary robotics