Sign in
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.
Jakub Daniel
Alessandro Cimatti
Alberto Griggio
Stefano Tonetta
Sergio Mover
Published in:
CAV (1) (2016)
Keyphrases
</>
high level
case study
data abstraction
data sets
neural network
background knowledge
semantic relations
temporal relations
learning algorithm
computer vision
decision making
hidden markov models
spatial relations
binary relations
safety critical