Login / Signup
Monitoring CTMCs by Multi-clock Timed Automata.
Yijun Feng
Joost-Pieter Katoen
Haokun Li
Bican Xia
Naijun Zhan
Published in:
CAV (1) (2018)
Keyphrases
</>
timed automata
model checking
reachability analysis
real time
monitoring system
power consumption
theorem prover
bayesian networks
high speed
random variables
theorem proving
first order logic
graphical models
data structure
multi agent
computer vision
information retrieval
neural network