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