Sign in
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata
Hongfei Fu
Published in:
CoRR (2012)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
deterministic finite automaton
power consumption
temporal logic
theorem proving
joint probability
machine learning
information retrieval
search engine
social networks
probability distribution
optimal path