- Counter Machines with Infrequent Reversals Alain Finkel Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Georg Zetzsche Sat 16 December 2023
- On discrete-time polynomial systems Eduardo D. Sontag Y. Rouchaleau Wed 09 August 2023
- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 16 October 2020
- The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin Sat 04 July 2020
- Reachability of scope-bounded multistack pushdown systems Salvatore [La Torre] Margherita Napoli Gennaro Parlato Tue 19 May 2020
- Relating Reachability Problems in Timed and Counter Automata Christoph Haase Joel Ouaknine James Worrell Tue 12 May 2020
- Reachability Problems for Continuous Chemical Reaction Networks Adam Case Jack H. Lutz D. M. Stull Fri 05 April 2019
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants Alexander E. Kostin Fri 27 April 2018
- Coverability in a NonFunctional Extension of BVASS Paulin Jacobé De Naurois Fri 02 June 2017
- Partial-Observation Stochastic Games: How to Win when Belief Fails Krishnendu Chatterjee Laurent Doyen Wed 05 November 2014
- Reachability on Prefix-recognizable Graphs Stefan Gøller Thu 29 May 2014
- Transition Graphs of Rewriting Systems over Unranked Trees Christof Løding Alex Spelten Mon 07 April 2014
- Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons Geser Dieter Hofbauer Johannes Waldmann Mon 27 January 2014
- Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm Petr Jančar Sun 29 December 2013
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks Vineet Kahlon Sun 24 November 2013
- Closed, Open, and Robust Timed Networks Parosh Aziz Abdulla Johann Deneux Pritha Mahata Tue 18 December 2012
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Nathalie Bertrand Giorgio Delzanno Barbara Kønig Arnaud Sangnier Jan Stuckrath Tue 18 December 2012
- On Reachability and Spatial Reachability in Fragments of BioAmbients Giorgio Delzanno Roberto Montagna Tue 18 December 2012
Library Size: 13G (18 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
