Login / Signup
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.
Amr Alanwar
Frank J. Jiang
Maryam Sharifi
Dimos V. Dimarogonas
Karl Henrik Johansson
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
data driven
model checking
machine learning
information flow
optimal solution
modal logic
reachability analysis