Login / Signup
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems.
Ruxandra Bobiti
Mircea Lazar
Published in:
HSCC (2015)
Keyphrases
</>
distributed systems
management system
intelligent systems
complex systems
model checking
database
artificial intelligence
website
reinforcement learning
automated verification