Search results

Articles (4)

Journals (0)

1-4 of 4 results for backward reachability analysis

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

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

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

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

Fundamenta Informaticae

Retricted access

Research article

First published 2020-9

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

The International Journal of Robotics Research

Retricted access

Research article

First published 2019

Raymond Devillers, Thomas Hujsa

Fundamenta Informaticae