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