Login / Signup
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
Mingyu Cai
Makai Mann
Zachary Serlin
Kevin Leahy
Cristian-Ioan Vasile
Published in:
ACC (2023)
Keyphrases
</>
learning process
learning algorithm
concurrent systems
domain independent
linear temporal logic