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