Login / Signup
Data-driven and model-based verification via Bayesian identification and reachability analysis.
Sofie Haesaert
Paul M. J. Van den Hof
Alessandro Abate
Published in:
Autom. (2017)
Keyphrases
</>
data driven
reachability analysis
model checking
person identification
temporal logic
markov decision processes
timed automata
formal verification
state space
verification method
bayesian networks
incremental algorithms
real time
reinforcement learning
probabilistic model
writer identification