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:
ACC (2023)
Keyphrases
</>
temporal logic
model checking
neural network
learning algorithm
reinforcement learning
satisfiability problem
software engineering
background knowledge