Login / Signup
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