Login / Signup
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.
Marco A. Feliú
Camilo Rocha
Swee Balachandran
Published in:
SPIN (2017)
Keyphrases
</>
case study
reachability analysis
model checking
data driven
development process
automatic processing
semi automatic
temporal logic
machine learning
knowledge management
real world
fully automatic
artificial intelligence
low cost
software engineering
markov decision processes
formal methods
timed automata
data mining