Improving Reachability Analysis of Infinite State Systems by Specialization.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: RP (2011)

Keyphrases

reachability analysis
low cost
intelligent systems
expert systems
computer systems
complex systems
artificial intelligence
management system
embedded systems