default search action

combined dblp search
author search
venue search
publication search

ask others

13th RP 2019: Brussels, Belgium

> Home > Conferences and Workshops > RP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rp/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2019
Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov:
Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. Lecture Notes in Computer Science 11674, Springer 2019, ISBN 978-3-030-30805-6
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AvniHIN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AvniHIN19
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný:
Bidding Games on Markov Decision Processes. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Protasov19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Protasov19
Vladimir Yu. Protasov:
Primitivity and Synchronizing Automata: A Functional Analytic Approach. 13-21
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Sankaranarayanan19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Sankaranarayanan19
Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover:
Reaching Out Towards Fully Verified Autonomous Systems. 22-32
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BlazejKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BlazejKV19
Václav Blazej, Jan Matyás Kristan, Tomás Valla:
On the m-eternal Domination Number of Cactus Graphs. 33-47
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BrihayeBGT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BrihayeBGT19
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Nathan Thomasset:
On Relevant Equilibria in Reachability Games. 48-62
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BruyerePRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BruyerePRT19
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines:
Partial Solvers for Generalized Parity Games. 63-78
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Chonev19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Chonev19
Ventsislav Chonev:
Reachability in Augmented Interval Markov Chains. 79-92
- view
  authority control:
- export record
  dblp key:
  - conf/rp/DayEKMNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/DayEKMNP19
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
On Solving Word Equations Using SAT. 93-106
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Delzanno19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Delzanno19
Giorgio Delzanno:
Parameterised Verification of Publish/Subscribe Networks with Exception Handling. 107-120
- view
  authority control:
- export record
  dblp key:
  - conf/rp/FatesMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/FatesMT19
Nazim Fatès, Irène Marcovici, Siamak Taati:
Cellular Automata for the Self-stabilisation of Colourings and Tilings. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Hampson19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Hampson19
Christopher Hampson:
On the Termination Problem for Counter Machines with Incrementing Errors. 137-148
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Kocher19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Kocher19
Chris Köcher:
Reachability Problems on Partially Lossy Queue Automata. 149-163
- view
  authority control:
- export record
  dblp key:
  - conf/rp/ReynierS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/ReynierS19
Pierre-Alain Reynier, Frédéric Servais:
On the Computation of the Minimal Coverability Set of Petri Nets. 164-177
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SandlerT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SandlerT19
Andrei Sandler, Olga Tveretina:
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. 178-192
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SchmitzZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SchmitzZ19
Sylvain Schmitz, Georg Zetzsche:
Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets. 193-201
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Tredup19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Tredup19
Ronny Tredup:
Synthesis of Structurally Restricted b-bounded Petri Nets: Complexity Results. 202-217
- view
  authority control:
- export record
  dblp key:
  - conf/rp/DitmarschGKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/DitmarschGKK19
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer:
Reachability of Five Gossip Protocols. 218-231

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.