×

zbMATH — the first resource for mathematics

Reachability problems. 6th international workshop, RP 2012, Bordeaux, France, September 17–19, 2012. Proceedings. (English) Zbl 1253.68011
Lecture Notes in Computer Science 7550. Berlin: Springer (ISBN 978-3-642-33511-2/pbk). xii, 149 p. (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1223.68005].
Indexed articles:
Bojańczyk, Mikołaj; Lasota, Sławomir, Fraenkel-Mostowski sets with non-homogeneous atoms, 1-5 [Zbl 1311.03058]
Salvati, Sylvain; Walukiewicz, Igor, Recursive schemes, Krivine machines, and collapsible pushdown automata, 6-20 [Zbl 1310.68138]
Ouaknine, Joël; Worrell, James, Decision problems for linear recurrence sequences, 21-28 [Zbl 1298.11015]
Kučera, Antonín, Playing games with counter automata, 29-41 [Zbl 1310.91049]
Felscher, Ingo, LTL-model-checking via model composition, 42-53 [Zbl 1374.68283]
Haase, Christoph; Ouaknine, Joël; Worrell, James, On the relationship between reachability problems in timed and counter automata, 54-65 [Zbl 1328.68112]
Brocchi, Stefano; Massazza, Paolo, Smooth sand piles, 66-78 [Zbl 1311.37005]
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano, Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis, 79-91 [Zbl 1374.68271]
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain, Robustness of time Petri nets under guard enlargement, 92-106 [Zbl 1355.68187]
Ghorbal, Khalil; Duggirala, Parasara Sridhar; Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti, Efficient probabilistic model checking of systems with ranged probabilities, 107-120 [Zbl 1374.68286]
Saleh, Rafiq, On the length of knot transformations via Reidemeister moves I and II, 121-136 [Zbl 1310.68125]
Hänsch, Paul; Kowalewski, Stefan, Invariants for LTI systems with uncertain input, 137-148 [Zbl 1311.93059]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI