Verification of Eventuality Properties for Discrete-time Affine Systems.

Published in: CDC (2018)

Keyphrases

distributed systems
expert systems
neural network
model checking
complex systems
intelligent systems
markov chain
information retrieval systems
image processing
multiscale
case study
website
artificial intelligence
real world
real time
desirable properties
automated verification