default search action

combined dblp search
author search
venue search
publication search

ask others

14th RP 2020: Paris, France

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2020
Sylvain Schmitz, Igor Potapov:
Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings. Lecture Notes in Computer Science 12448, Springer 2020, ISBN 978-3-030-61738-7

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rp/Berthe20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Berthe20
Valérie Berthé:
On Decision Problems for Substitutions in Symbolic Dynamics. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Kupferman20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Kupferman20
Orna Kupferman:
Games with Full, Longitudinal, and Transverse Observability. 20-34

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rp/BiswalM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BiswalM20
Shruti Biswal, Andrew S. Miner:
Reachability Set Generation Using Hybrid Relation Compatible Saturation. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BogomolovFP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BogomolovFP20
Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin:
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. 52-66
- view
  authority control:
- export record
  dblp key:
  - conf/rp/EtessamiM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/EtessamiM20
Kousha Etessami, Emanuel Martinov:
Qualitative Multi-objective Reachability for Ordered Branching MDPs. 67-82
- view
  authority control:
- export record
  dblp key:
  - conf/rp/KravchenkoKSK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/KravchenkoKSK20
Dmitry Kravchenko, Kamil Khadiev, Danil Serov, Ruslan Kapralov:
Quantum-over-Classical Advantage in Solving Multiplayer Games. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/rp/RaskinW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/RaskinW20
Michael Raskin, Chana Weil-Kennedy:
Efficient Restrictions of Immediate Observation Petri Nets. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Sterin20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Sterin20
Tristan Stérin:
Binary Expression of Ancestors in the Collatz Graph. 115-130
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SterinW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SterinW20
Tristan Stérin, Damien Woods:
The Collatz Process Embeds a Base Conversion Algorithm. 131-147
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Tredup20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Tredup20
Ronny Tredup:
The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets. 148-163

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.