Login / Signup
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
Yu Wang
Nima Roohi
Matthew West
Mahesh Viswanathan
Geir E. Dullerud
Published in:
ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
</>
temporal logic
model checking
verification method
model checker
mathematical model
discrete event
hybrid systems
neural network
genetic algorithm
artificial intelligence
intelligent systems
process model
black box
formal specification
description language
reactive systems