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:
CoRR (2020)
Keyphrases
</>
temporal logic
mathematical model
model checking
simulation model
discrete event
neural network
data mining
machine learning
knowledge representation
orders of magnitude
hybrid systems
formal specification language