Lecture Notes in Computer Science - Reachability Problems
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319114385, 9783319114392
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesising Succinct Strategies in Safety and Reachability Games

2014 ◽  
pp. 98-111 ◽  
Author(s):  
Gilles Geeraerts ◽  
Joël Goossens ◽  
Amélie Stainer

scholarly journals Compositional Reachability in Petri Nets

2014 ◽  
pp. 230-243 ◽  
Author(s):  
Julian Rathke ◽  
Paweł Sobociński ◽  
Owen Stephens
Keyword(s):  
Petri Nets

On The Complexity of Bounded Time Reachability for Piecewise Affine Systems

2014 ◽  
pp. 20-31 ◽  
Author(s):  
Hugo Bazille ◽  
Olivier Bournez ◽  
Walid Gomaa ◽  
Amaury Pouly
Keyword(s):  
Piecewise Affine Systems ◽  
Affine Systems ◽  
Piecewise Affine
Load More ...
Sign in / Sign up

Export Citation Format

Share Document