Search results

Articles (4)

Journals (0)

1-4 of 4 results for backward reachability analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published October, 2012

Improving Reachability Analysis of Infinite State Systems by Specialization

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 2013

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2020

Karen Leung, Edward Schmerling, Mengxuan Zhang [...]

The International Journal of Robotics Research

Restricted accessResearch articleFirst published 2019

Raymond Devillers, Thomas Hujsa

Fundamenta Informaticae