C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.
Dingbao Xie
Lei Bu
Xuandong Li
Published in:
RTSS (2014)
Keyphrases
</>
hybrid automata
formal proof
model checking
face verification
formal methods
finite state automata
metadata
integrity constraints
learning problems
verification method