Login / Signup
Symbolic Reachability Analysis of B through ProB and LTSmin.
Jens Bendisposto
Philipp Koerner
Michael Leuschel
Jeroen Meijer
Jaco van de Pol
Helen Treharne
Jorden Whitefield
Published in:
CoRR (2016)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
symbolic representation
artificial intelligence
expert systems
neural network
high level
bayesian networks
natural language
context aware