Sign in
Improving Reachability Analysis of Infinite State Systems by Specialization.
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Valerio Senni
Published in:
Fundam. Informaticae (2012)
Keyphrases
</>
reachability analysis
management system
complex systems
neural network
distributed systems
computer systems
model checking
machine learning
information retrieval
artificial intelligence
least squares
theorem proving