Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.

Gianluca Amato, Francesca Scozzari

Browse the full MIG paper archive.