default search action

combined dblp search
author search
venue search
publication search

ask others

18th RP 2024, Vienna, Austria

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2024
Laura Kovács, Ana Sokolova:
Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings. Lecture Notes in Computer Science 15050, Springer 2024, ISBN 978-3-031-72620-0

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rp/Bartocci24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Bartocci24
Ezio Bartocci:
Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach. 3-8
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Kucera24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Kucera24
Antonín Kucera:
The Satisfiability and Validity Problems for Probabilistic CTL. 9-18

Computability and Reachability

- view
  authority control:
- export record
  dblp key:
  - conf/rp/GantyMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/GantyMR24
Pierre Ganty, Nicolas Manini, Francesco Ranzato:
Computing Reachable Simulations on Transition Systems. 21-37
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BruseL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BruseL24
Florian Bruse, Martin Lange:
Computing All Minimal Ways to Reach a Context-Free Language. 38-53
- view
  authority control:
- export record
  dblp key:
  - conf/rp/KojimaN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/KojimaN24
Misaki Kojima, Naoki Nishida:
On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems Under Process Fairness. 54-70

Automata and Complexity

- view
  authority control:
- export record
  dblp key:
  - conf/rp/AdamsonFH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AdamsonFH24
Duncan Adamson, Pamela Fleischmann, Annika Huch:
Rollercoasters with Plateaus. 73-87
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BensoDP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BensoDP24
Andrea Benso, Flavio D'Alessandro, Paolo Papi:
Quantum Automata and Languages of Finite Index. 88-103
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Ryzhikov24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Ryzhikov24
Andrew Ryzhikov:
On Shortest Products for Nonnegative Matrix Mortality. 104-119
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SterinW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SterinW24
Tristan Stérin, Damien Woods:
Hardness of Busy Beaver Value BB(15). 120-137

Linear Systems and Recurrences

- view
  authority control:
- export record
  dblp key:
  - conf/rp/Tveretina24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Tveretina24
Olga Tveretina:
On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps. 141-153
- view
  authority control:
- export record
  dblp key:
  - conf/rp/PimpalkhareK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/PimpalkhareK24
Nikhil Pimpalkhare, Zachary Kincaid:
Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability. 154-166
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HirvensaloKPY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HirvensaloKPY24
Mika Hirvensalo, Akitoshi Kawamura, Igor Potapov, Takao Yuyama:
Reachability in Linear Recurrence Automata. 167-183

Games and Abstractions

- view
  authority control:
- export record
  dblp key:
  - conf/rp/PriserVF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/PriserVF24
Gwendal Priser, Elena Vanneaux, Goran Frehse:
Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems. 187-202
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BerthonKW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BerthonKW24
Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler:
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives. 203-220
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CohenGGKLSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CohenGGKLSZ24
Johanne Cohen, Emmanuel Goutierre, Hayg Guler, Fatios Kapotos, Sida-Bastien Li, Michèle Sebag, Bowen Zhu:
Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution. 221-237

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.