C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Importance Sampling for Stochastic Timed Automata.
Cyrille Jégourel
Kim G. Larsen
Axel Legay
Marius Mikucionis
Danny Bøgsted Poulsen
Sean Sedwards
Published in:
SETTA (2016)
Keyphrases
</>
importance sampling
timed automata
monte carlo
model checking
markov chain
kalman filter
theorem prover
particle filtering
rare events
real time systems
particle filter
theorem proving
approximate inference
markov chain monte carlo
first order logic
incremental learning
real time