Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.

Susanna Donatelli Serge Haddad

Published in: LATA (2020)

Keyphrases

stochastic models
timed automata
model checking
stochastic processes
stochastic model
temporal logic
theorem prover
marginal distributions
artificial intelligence
probability distribution
model selection
maximum entropy
real time
theorem proving