Probabilistic and Topological Semantics for Timed Automata.
Christel BaierNathalie BertrandPatricia BouyerThomas BrihayeMarcus GrößerPublished in: FSTTCS (2007)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- formal semantics
- probabilistic model
- probabilistic knowledge
- theorem proving
- probabilistic logic
- data driven
- uncertain data
- context sensitive
- first order logic
- bayesian networks
- data sets
- probability theory
- real time systems
- generative model
- topological properties
- operational semantics
- closure operator
- reinforcement learning