Searching for "Reachability Problems" – sorted by Relevance.
1,353 documents found, showing 1 through 10.
Next 10 →
-
On the optimal reachability problem
- …�ÛÛÛÙÐ������××��Ú On the optimal reachability problem ⋆ Patricia Bouyer 1 , Thomas Brihaye 2 , Véronique Bruyère 2 , and Jean…
- Cited by 2 (2 self) – Add To MetaCart
-
The directed planar reachability problem
- …The Directed Planar Reachability Problem Eric Allender 1 , Samir Datta 2 , and Sambuddha Roy 3 1…
- Cited by 13 (7 self) – Add To MetaCart
-
On the Reachability Problem in Cryptographic Protocols
- … AUTOMATIQUE On the reachability problem in cryptographic protocols Roberto M. Amadio Denis Lugiez N° 3915 Mars…
- Cited by 78 (0 self) – Add To MetaCart
-
Reachability Problems: An Update
- …Reachability Problems: An Update Eric Allender Department of Computer Science, Rutgers University…
- Add To MetaCart
-
Dynamic Optimization for Reachability Problems
- …Dynamic Optimization for Reachability Problems 1 A.B. Kurzhanski 2 and P. Varaiya 3 Abstract…
- Cited by 10 (5 self) – Add To MetaCart
-
Grid Graph Reachability Problems
- …Grid Graph Reachability Problems Eric Allender ∗ David A. Mix Barrington † Tanmoy Chakraborty…
- Cited by 8 (6 self) – Add To MetaCart
-
The Reachability problem for finite cellular automata
- …The Reachability problem for finite cellular automata Andrea Clementi Centre Universitaire d…
- Add To MetaCart
-
Unfolding Based Algorithms for the Reachability Problem
- … for the Reachability Problem # Javier Esparza Institut f ur Informatik Technische Universit at M unchen esparza…
- Cited by 2 (0 self) – Add To MetaCart
-
Cellular Automata and Intermediate Reachability Problems
- …Cellular Automata and Intermediate Reachability Problems K. Sutner Computer Science Department…
- Add To MetaCart
-
Decidability of Reachability Problems for Classes of Two . . .
- … 346-357. Springer, 2000. Decidability of reachability problems for classes of two counters automata A…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
