Finkel, Alain (ed.); Leroux, Jérôme (ed.); Potapov, Igor (ed.) 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] Cited in 1 Review 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 \textit{A. Finkel} (ed.) et al., Reachability problems. 6th international workshop, RP 2012, Bordeaux, France, September 17--19, 2012. Proceedings. Berlin: Springer (2012; Zbl 1253.68011) Full Text: DOI