Reachability problems 14th international conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2020
|
| Schriftenreihe: | Lecture notes in computer science
12448 |
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| On Decision Problems for Substitutions in Symbolic Dynamics | 2020 | Berthé, Valérie |
| Reachability Set Generation Using Hybrid Relation Compatible Saturation | 2020 | Biswal, Shruti |
| Games with Full, Longitudinal, and Transverse Observability | 2020 | Kupferman, Orna |
| Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model | 2020 | Bogomolov, Sergiy |
| Efficient Restrictions of Immediate Observation Petri Nets | 2020 | Raskin, Michael |
| Qualitative Multi-objective Reachability for Ordered Branching MDPs | 2020 | Etessami, Kousha |
| Quantum-over-Classical Advantage in Solving Multiplayer Games | 2020 | Kravchenko, Dmitry |
| Binary Expression of Ancestors in the Collatz Graph | 2020 | Stérin, Tristan |
| The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets | 2020 | Tredup, Ronny |
| The Collatz Process Embeds a Base Conversion Algorithm | 2020 | Stérin, Tristan |