default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/rp:"
download as .bib file
@inproceedings{DBLP:conf/rp/AdamsonFH24,
author = {Duncan Adamson and
Pamela Fleischmann and
Annika Huch},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Rollercoasters with Plateaus},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {73--87},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_6},
doi = {10.1007/978-3-031-72621-7\_6},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AdamsonFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Bartocci24,
author = {Ezio Bartocci},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Quantifying Uncertainty in Probabilistic Loops Without Sampling: {A}
Fully Automated Approach},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {3--8},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_1},
doi = {10.1007/978-3-031-72621-7\_1},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Bartocci24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BensoDP24,
author = {Andrea Benso and
Flavio D'Alessandro and
Paolo Papi},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Quantum Automata and Languages of Finite Index},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {88--103},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_7},
doi = {10.1007/978-3-031-72621-7\_7},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BensoDP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BerthonKW24,
author = {Rapha{\"{e}}l Berthon and
Joost{-}Pieter Katoen and
Tobias Winkler},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Markov Decision Processes with Sure Parity and Multiple Reachability
Objectives},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {203--220},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_14},
doi = {10.1007/978-3-031-72621-7\_14},
timestamp = {Sun, 29 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BerthonKW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BruseL24,
author = {Florian Bruse and
Martin Lange},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Computing All Minimal Ways to Reach a Context-Free Language},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {38--53},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_4},
doi = {10.1007/978-3-031-72621-7\_4},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BruseL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CohenGGKLSZ24,
author = {Johanne Cohen and
Emmanuel Goutierre and
Hayg Guler and
Fatios Kapotos and
Sida{-}Bastien Li and
Mich{\`{e}}le Sebag and
Bowen Zhu},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Modelling Dynamical Systems: Learning ODEs with No Internal {ODE}
Resolution},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {221--237},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_15},
doi = {10.1007/978-3-031-72621-7\_15},
timestamp = {Thu, 17 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CohenGGKLSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GantyMR24,
author = {Pierre Ganty and
Nicolas Manini and
Francesco Ranzato},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Computing Reachable Simulations on Transition Systems},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {21--37},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_3},
doi = {10.1007/978-3-031-72621-7\_3},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GantyMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HirvensaloKPY24,
author = {Mika Hirvensalo and
Akitoshi Kawamura and
Igor Potapov and
Takao Yuyama},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Reachability in Linear Recurrence Automata},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {167--183},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_12},
doi = {10.1007/978-3-031-72621-7\_12},
timestamp = {Sun, 29 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HirvensaloKPY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KojimaN24,
author = {Misaki Kojima and
Naoki Nishida},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {On Solving All-Path Reachability Problems for Starvation Freedom of
Concurrent Rewrite Systems Under Process Fairness},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {54--70},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_5},
doi = {10.1007/978-3-031-72621-7\_5},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/KojimaN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Kucera24,
author = {Anton{\'{\i}}n Kucera},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {The Satisfiability and Validity Problems for Probabilistic {CTL}},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {9--18},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_2},
doi = {10.1007/978-3-031-72621-7\_2},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Kucera24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/PimpalkhareK24,
author = {Nikhil Pimpalkhare and
Zachary Kincaid},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Semi-linear {VASR} for Over-Approximate Semi-linear Transition System
Reachability},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {154--166},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_11},
doi = {10.1007/978-3-031-72621-7\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/PimpalkhareK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/PriserVF24,
author = {Gwendal Priser and
Elena Vanneaux and
Goran Frehse},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Robust Deterministic Abstractions for Supervising Discrete-Time Continuous
Systems},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {187--202},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_13},
doi = {10.1007/978-3-031-72621-7\_13},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/PriserVF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Ryzhikov24,
author = {Andrew Ryzhikov},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {On Shortest Products for Nonnegative Matrix Mortality},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {104--119},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_8},
doi = {10.1007/978-3-031-72621-7\_8},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Ryzhikov24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SterinW24,
author = {Tristan St{\'{e}}rin and
Damien Woods},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Hardness of Busy Beaver Value {BB(15)}},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {120--137},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_9},
doi = {10.1007/978-3-031-72621-7\_9},
timestamp = {Sun, 29 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SterinW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Tveretina24,
author = {Olga Tveretina},
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {On the Complexity of Reachability and Mortality for Bounded Piecewise
Affine Maps},
booktitle = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
pages = {141--153},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7\_10},
doi = {10.1007/978-3-031-72621-7\_10},
timestamp = {Sun, 29 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Tveretina24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2024,
editor = {Laura Kov{\'{a}}cs and
Ana Sokolova},
title = {Reachability Problems - 18th International Conference, {RP} 2024,
Vienna, Austria, September 25-27, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15050},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72621-7},
doi = {10.1007/978-3-031-72621-7},
isbn = {978-3-031-72620-0},
timestamp = {Sun, 29 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AugerCDE23,
author = {David Auger and
Pierre Coucheney and
Loric Duhaz{\'{e}} and
Kossi Roland Etse},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Generalized {ARRIVAL} Problem for Rotor Walks in Path Multigraphs},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {183--198},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_14},
doi = {10.1007/978-3-031-45286-4\_14},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AugerCDE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellNPS23,
author = {Paul C. Bell and
Reino Niskanen and
Igor Potapov and
Pavel Semukhin},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {On the Identity and Group Problems for Complex Heisenberg Matrices},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {42--55},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_4},
doi = {10.1007/978-3-031-45286-4\_4},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellNPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellisDKLPR23,
author = {Stijn Bellis and
Joachim Denil and
Ramesh Krishnamurthy and
Tim Leys and
Guillermo A. P{\'{e}}rez and
Ritam Raha},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {A Framework for the Competitive Analysis of Model Predictive Controllers},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {141--154},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_11},
doi = {10.1007/978-3-031-45286-4\_11},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellisDKLPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BrihayeBR23,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Gaspard Reghem},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {70--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_6},
doi = {10.1007/978-3-031-45286-4\_6},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BrihayeBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BrihayeG23,
author = {Thomas Brihaye and
Aline Goeminne},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Multi-weighted Reachability Games},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {85--97},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_7},
doi = {10.1007/978-3-031-45286-4\_7},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BrihayeG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CasagrandeP23,
author = {Alberto Casagrande and
Carla Piazza},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Adaptive Directions for Bernstein-Based Polynomial Set Evolution},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {113--126},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_9},
doi = {10.1007/978-3-031-45286-4\_9},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CasagrandeP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FerrandoD23,
author = {Angelo Ferrando and
Giorgio Delzanno},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {171--182},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_13},
doi = {10.1007/978-3-031-45286-4\_13},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FerrandoD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FinkelHY23,
author = {Alain Finkel and
Serge Haddad and
Lina Ye},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Introducing Divergence for Infinite Probabilistic Models},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {127--140},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_10},
doi = {10.1007/978-3-031-45286-4\_10},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FinkelHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FleischmannKKMNSW23,
author = {Pamela Fleischmann and
Sungmin Kim and
Tore Ko{\ss} and
Florin Manea and
Dirk Nowotka and
Stefan Siemer and
Max Wiedenh{\"{o}}ft},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Matching Patterns with Variables Under Simon's Congruence},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {155--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_12},
doi = {10.1007/978-3-031-45286-4\_12},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FleischmannKKMNSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GiustoFLN23,
author = {Cinzia Di Giusto and
Davide Ferr{\'{e}} and
{\'{E}}tienne Lozes and
Nicolas Nisse},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Weakly Synchronous Systems with Three Machines Are Turing Powerful},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {28--41},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_3},
doi = {10.1007/978-3-031-45286-4\_3},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GiustoFLN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Martin23,
author = {Bruno Martin},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Randomness Quality and Trade-Offs for {CA} Random String Generators},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {3--12},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_1},
doi = {10.1007/978-3-031-45286-4\_1},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Martin23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Neumann23,
author = {Eike Neumann},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {On the Complexity of Robust Eventual Inequality Testing for C-Finite
Functions},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {98--112},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_8},
doi = {10.1007/978-3-031-45286-4\_8},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Neumann23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SunFM23,
author = {Honglu Sun and
Maxime Folschette and
Morgan Magnin},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Reachability Analysis of a Class of Hybrid Gene Regulatory Networks},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {56--69},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_5},
doi = {10.1007/978-3-031-45286-4\_5},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SunFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Wurm23,
author = {Adrian Wurm},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Complexity of Reachability Problems in Neural Networks},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {15--27},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_2},
doi = {10.1007/978-3-031-45286-4\_2},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Wurm23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2023,
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4},
doi = {10.1007/978-3-031-45286-4},
isbn = {978-3-031-45285-7},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AsadaKK22,
author = {Kazuyuki Asada and
Hiroyuki Katsura and
Naoki Kobayashi},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {On Higher-Order Reachability Games Vs May Reachability},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {108--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_8},
doi = {10.1007/978-3-031-19135-0\_8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AsadaKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Balasubramanian22,
author = {A. R. Balasubramanian},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Coefficient Synthesis for Threshold Automata},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {125--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_9},
doi = {10.1007/978-3-031-19135-0\_9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Balasubramanian22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Benedikt22,
author = {Michael Benedikt},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {The Past and Future of Embedded Finite Model Theory},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {37--46},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_3},
doi = {10.1007/978-3-031-19135-0\_3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Benedikt22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BorealeC22,
author = {Michele Boreale and
Luisa Collodi},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Linearization, Model Reduction and Reachability in Nonlinear odes},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {49--66},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_4},
doi = {10.1007/978-3-031-19135-0\_4},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BorealeC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BoseHLST22,
author = {Sougata Bose and
Thomas A. Henzinger and
Karoliina Lehtinen and
Sven Schewe and
Patrick Totzke},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {History-Deterministic Timed Automata Are Not Determinizable},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {67--76},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_5},
doi = {10.1007/978-3-031-19135-0\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BoseHLST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Capra22,
author = {Lorenzo Capra},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Canonization of Reconfigurable {PT} Nets in Maude},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {160--177},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_11},
doi = {10.1007/978-3-031-19135-0\_11},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Capra22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Ciobanu22,
author = {Laura Ciobanu},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Post's Correspondence Problem: From Computer Science to Algebra},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {28--36},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_2},
doi = {10.1007/978-3-031-19135-0\_2},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Ciobanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FeldmanS22,
author = {Yotam M. Y. Feldman and
Sharon Shoham},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {SAT-Based Invariant Inference and Its Relation to Concept Learning},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {3--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_1},
doi = {10.1007/978-3-031-19135-0\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/FeldmanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KoscheKMP22,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Viktoriya Pak},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Subsequences in Bounded Ranges: Matching and Analysis Problems},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {140--159},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_10},
doi = {10.1007/978-3-031-19135-0\_10},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/KoscheKMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Webster22,
author = {Thomas Webster},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {The Stochastic Arrival Problem},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {93--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_7},
doi = {10.1007/978-3-031-19135-0\_7},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Webster22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Yamakami22,
author = {Tomoyuki Yamakami},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Unambiguity and Fewness for Nonuniform Families of Polynomial-Size
Nondeterministic Finite Automata},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {77--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_6},
doi = {10.1007/978-3-031-19135-0\_6},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Yamakami22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2022,
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0},
doi = {10.1007/978-3-031-19135-0},
isbn = {978-3-031-19134-3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BilgramJPST21,
author = {Alexander Bilgram and
Peter Gj{\o}l Jensen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Jakob Haahr Taankvist},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Improvements in Unfolding of Colored Petri Nets},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {69--84},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_5},
doi = {10.1007/978-3-030-89716-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BilgramJPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Boker21,
author = {Udi Boker},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Quantitative vs. Weighted Automata},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {3--18},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_1},
doi = {10.1007/978-3-030-89716-1\_1},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Boker21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Dixon21,
author = {Clare Dixon},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Theorem Proving Using Clausal Resolution: From Past to Present},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {19--27},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_2},
doi = {10.1007/978-3-030-89716-1\_2},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Dixon21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Esparza21,
author = {Javier Esparza},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Population Protocols: Beyond Runtime Analysis},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {28--51},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_3},
doi = {10.1007/978-3-030-89716-1\_3},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ForetsS21,
author = {Marcelo Forets and
Christian Schilling},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Reachability of Weakly Nonlinear Systems Using Carleman Linearization},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {85--99},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_6},
doi = {10.1007/978-3-030-89716-1\_6},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/ForetsS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Karpenkov21,
author = {Oleg Karpenkov},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Continued Fraction Approach to Gauss Reduction Theory},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {100--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_7},
doi = {10.1007/978-3-030-89716-1\_7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Karpenkov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KoscheKMS21,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Absent Subsequences in Words},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {115--131},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_8},
doi = {10.1007/978-3-030-89716-1\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/KoscheKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LiveseyW21,
author = {Joseph Livesey and
Dominik Wojtczak},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Minimal Number of Calls in Propositional Protocols},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {132--148},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_9},
doi = {10.1007/978-3-030-89716-1\_9},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/LiveseyW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SalzerL21,
author = {Marco S{\"{a}}lzer and
Martin Lange},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Reachability is NP-Complete Even for the Simplest Neural Networks},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {149--164},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_10},
doi = {10.1007/978-3-030-89716-1\_10},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/SalzerL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Zetzsche21,
author = {Georg Zetzsche},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Recent Advances on Reachability Problems for Valence Systems (Invited
Talk)},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {52--65},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_4},
doi = {10.1007/978-3-030-89716-1\_4},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Zetzsche21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2021,
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1},
doi = {10.1007/978-3-030-89716-1},
isbn = {978-3-030-89715-4},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Berthe20,
author = {Val{\'{e}}rie Berth{\'{e}}},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {On Decision Problems for Substitutions in Symbolic Dynamics},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_1},
doi = {10.1007/978-3-030-61739-4\_1},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Berthe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BiswalM20,
author = {Shruti Biswal and
Andrew S. Miner},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Reachability Set Generation Using Hybrid Relation Compatible Saturation},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {37--51},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_3},
doi = {10.1007/978-3-030-61739-4\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BiswalM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BogomolovFP20,
author = {Sergiy Bogomolov and
Marcelo Forets and
Kostiantyn Potomkin},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control
Model},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {52--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_4},
doi = {10.1007/978-3-030-61739-4\_4},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BogomolovFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/EtessamiM20,
author = {Kousha Etessami and
Emanuel Martinov},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Qualitative Multi-objective Reachability for Ordered Branching MDPs},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {67--82},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_5},
doi = {10.1007/978-3-030-61739-4\_5},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/EtessamiM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KravchenkoKSK20,
author = {Dmitry Kravchenko and
Kamil Khadiev and
Danil Serov and
Ruslan Kapralov},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Quantum-over-Classical Advantage in Solving Multiplayer Games},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {83--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_6},
doi = {10.1007/978-3-030-61739-4\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/KravchenkoKSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Kupferman20,
author = {Orna Kupferman},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Games with Full, Longitudinal, and Transverse Observability},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {20--34},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_2},
doi = {10.1007/978-3-030-61739-4\_2},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Kupferman20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/RaskinW20,
author = {Michael Raskin and
Chana Weil{-}Kennedy},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Efficient Restrictions of Immediate Observation Petri Nets},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {99--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_7},
doi = {10.1007/978-3-030-61739-4\_7},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/RaskinW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sterin20,
author = {Tristan St{\'{e}}rin},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Binary Expression of Ancestors in the Collatz Graph},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {115--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_8},
doi = {10.1007/978-3-030-61739-4\_8},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Sterin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SterinW20,
author = {Tristan St{\'{e}}rin and
Damien Woods},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {The Collatz Process Embeds a Base Conversion Algorithm},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {131--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_9},
doi = {10.1007/978-3-030-61739-4\_9},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SterinW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Tredup20,
author = {Ronny Tredup},
editor = {Sylvain Schmitz and
Igor Potapov},
title = {The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets},
booktitle = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
pages = {148--163},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4\_10},
doi = {10.1007/978-3-030-61739-4\_10},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Tredup20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2020,
editor = {Sylvain Schmitz and
Igor Potapov},
title = {Reachability Problems - 14th International Conference, {RP} 2020,
Paris, France, October 19-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12448},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61739-4},
doi = {10.1007/978-3-030-61739-4},
isbn = {978-3-030-61738-7},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AvniHIN19,
author = {Guy Avni and
Thomas A. Henzinger and
Rasmus Ibsen{-}Jensen and
Petr Novotn{\'{y}}},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Bidding Games on Markov Decision Processes},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {1--12},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_1},
doi = {10.1007/978-3-030-30806-3\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AvniHIN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BlazejKV19,
author = {V{\'{a}}clav Blazej and
Jan Maty{\'{a}}s Kristan and
Tom{\'{a}}s Valla},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On the m-eternal Domination Number of Cactus Graphs},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {33--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_4},
doi = {10.1007/978-3-030-30806-3\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BlazejKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BrihayeBGT19,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Aline Goeminne and
Nathan Thomasset},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On Relevant Equilibria in Reachability Games},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {48--62},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_5},
doi = {10.1007/978-3-030-30806-3\_5},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BrihayeBGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BruyerePRT19,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Cl{\'{e}}ment Tamines},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Partial Solvers for Generalized Parity Games},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {63--78},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_6},
doi = {10.1007/978-3-030-30806-3\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BruyerePRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Chonev19,
author = {Ventsislav Chonev},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reachability in Augmented Interval Markov Chains},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {79--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_7},
doi = {10.1007/978-3-030-30806-3\_7},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Chonev19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DayEKMNP19,
author = {Joel D. Day and
Thorsten Ehlers and
Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On Solving Word Equations Using {SAT}},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {93--106},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_8},
doi = {10.1007/978-3-030-30806-3\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DayEKMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Delzanno19,
author = {Giorgio Delzanno},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Parameterised Verification of Publish/Subscribe Networks with Exception
Handling},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {107--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_9},
doi = {10.1007/978-3-030-30806-3\_9},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Delzanno19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DitmarschGKK19,
author = {Hans van Ditmarsch and
Malvin Gattinger and
Ioannis Kokkinis and
Louwe B. Kuijer},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reachability of Five Gossip Protocols},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {218--231},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_17},
doi = {10.1007/978-3-030-30806-3\_17},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DitmarschGKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FatesMT19,
author = {Nazim Fat{\`{e}}s and
Ir{\`{e}}ne Marcovici and
Siamak Taati},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Cellular Automata for the Self-stabilisation of Colourings and Tilings},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {121--136},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_10},
doi = {10.1007/978-3-030-30806-3\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FatesMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Hampson19,
author = {Christopher Hampson},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On the Termination Problem for Counter Machines with Incrementing
Errors},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {137--148},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_11},
doi = {10.1007/978-3-030-30806-3\_11},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Hampson19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Kocher19,
author = {Chris K{\"{o}}cher},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reachability Problems on Partially Lossy Queue Automata},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {149--163},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_12},
doi = {10.1007/978-3-030-30806-3\_12},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Kocher19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Protasov19,
author = {Vladimir Yu. Protasov},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Primitivity and Synchronizing Automata: {A} Functional Analytic Approach},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {13--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_2},
doi = {10.1007/978-3-030-30806-3\_2},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Protasov19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ReynierS19,
author = {Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On the Computation of the Minimal Coverability Set of Petri Nets},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {164--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_13},
doi = {10.1007/978-3-030-30806-3\_13},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/ReynierS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SandlerT19,
author = {Andrei Sandler and
Olga Tveretina},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Deciding Reachability for Piecewise Constant Derivative Systems on
Orientable Manifolds},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {178--192},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_14},
doi = {10.1007/978-3-030-30806-3\_14},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SandlerT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sankaranarayanan19,
author = {Sriram Sankaranarayanan and
Souradeep Dutta and
Sergio Mover},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reaching Out Towards Fully Verified Autonomous Systems},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {22--32},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_3},
doi = {10.1007/978-3-030-30806-3\_3},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Sankaranarayanan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SchmitzZ19,
author = {Sylvain Schmitz and
Georg Zetzsche},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition
Systems with Resets},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {193--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_15},
doi = {10.1007/978-3-030-30806-3\_15},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SchmitzZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Tredup19,
author = {Ronny Tredup},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Synthesis of Structurally Restricted b-bounded Petri Nets: Complexity
Results},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {202--217},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_16},
doi = {10.1007/978-3-030-30806-3\_16},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Tredup19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2019,
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3},
doi = {10.1007/978-3-030-30806-3},
isbn = {978-3-030-30805-6},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BonevaNS18,
author = {Iovka Boneva and
Joachim Niehren and
Momar Sakho},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Certain Query Answering on Compressed String Patterns: From Streams
to Hyperstreams},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {117--132},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_9},
doi = {10.1007/978-3-030-00250-3\_9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BonevaNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DayGHMN18,
author = {Joel D. Day and
Vijay Ganesh and
Paul He and
Florin Manea and
Dirk Nowotka},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {The Satisfiability of Word Equations: Decidable and Undecidable Theories},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {15--29},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_2},
doi = {10.1007/978-3-030-00250-3\_2},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DayGHMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HagueP18,
author = {Matthew Hague and
Vincent Penelle},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Constrained Dynamic Tree Networks},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {45--58},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_4},
doi = {10.1007/978-3-030-00250-3\_4},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HagueP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/JancarOS18,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct
One-Counter Nets},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {59--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_5},
doi = {10.1007/978-3-030-00250-3\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/JancarOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Lisitsa18,
author = {Alexei Lisitsa},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Revisiting MU-Puzzle. {A} Case Study in Finite Countermodels Verification},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {75--86},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_6},
doi = {10.1007/978-3-030-00250-3\_6},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Lisitsa18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Lohrey18,
author = {Markus Lohrey},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Knapsack in Hyperbolic Groups},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {87--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_7},
doi = {10.1007/978-3-030-00250-3\_7},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Lohrey18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Neary018,
author = {Turlough Neary and
Matthew Cook},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Generalized Tag Systems},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {103--116},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_8},
doi = {10.1007/978-3-030-00250-3\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Neary018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/OliveiraPHB18,
author = {Steven de Oliveira and
Virgile Prevosto and
Peter Habermehl and
Saddek Bensalem},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Left-Eigenvectors Are Certificates of the Orbit Problem},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {30--44},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_3},
doi = {10.1007/978-3-030-00250-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/OliveiraPHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SandrettoW18,
author = {Julien Alexandre Dit Sandretto and
Jian Wan},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated
Runge-Kutta},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {1--14},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_1},
doi = {10.1007/978-3-030-00250-3\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SandrettoW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Skrzypczak18,
author = {Michal Skrzypczak},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {B{\"{u}}chi {VASS} Recognise {\(\sum\)}\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-complete
{\(\omega\)}-languages},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {133--145},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_10},
doi = {10.1007/978-3-030-00250-3\_10},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Skrzypczak18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sproston18,
author = {Jeremy Sproston},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Qualitative Reachability for Open Interval Markov Chains},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {146--160},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_11},
doi = {10.1007/978-3-030-00250-3\_11},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Sproston18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2018,
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3},
doi = {10.1007/978-3-030-00250-3},
isbn = {978-3-030-00249-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AnconaDFLPRR17,
author = {Davide Ancona and
Giorgio Delzanno and
Luca Franceschini and
Maurizio Leotta and
Enrico Prampolini and
Marina Ribaudo and
Filippo Ricca},
editor = {Matthew Hague and
Igor Potapov},
title = {An Abstract Machine for Asynchronous Programs with Closures and Priority
Queues},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {59--74},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_5},
doi = {10.1007/978-3-319-67089-8\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/AnconaDFLPRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BhaveG17,
author = {Devendra Bhave and
Shibashis Guha},
editor = {Matthew Hague and
Igor Potapov},
title = {Adding Dense-Timed Stack to Integer Reset Timed Automata},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {9--25},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_2},
doi = {10.1007/978-3-319-67089-8\_2},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BhaveG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BruseLL17,
author = {Florian Bruse and
Martin Lange and
{\'{E}}tienne Lozes},
editor = {Matthew Hague and
Igor Potapov},
title = {Space-Efficient Fragments of Higher-Order Fixpoint Logic},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {26--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_3},
doi = {10.1007/978-3-319-67089-8\_3},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BruseLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CassezJL17,
author = {Franck Cassez and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen},
editor = {Matthew Hague and
Igor Potapov},
title = {Refinement of Trace Abstraction for Real-Time Programs},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {42--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_4},
doi = {10.1007/978-3-319-67089-8\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CassezJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CoentSCFVC17,
author = {Adrien Le Co{\"{e}}nt and
Julien Alexandre Dit Sandretto and
Alexandre Chapoutot and
Laurent Fribourg and
Florian De Vuyst and
Ludovic Chamoin},
editor = {Matthew Hague and
Igor Potapov},
title = {Distributed Control Synthesis Using Euler's Method},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {118--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_9},
doi = {10.1007/978-3-319-67089-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CoentSCFVC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Doyen17,
author = {Laurent Doyen},
editor = {Matthew Hague and
Igor Potapov},
title = {The Multiple Dimensions of Mean-Payoff Games - (Extended Abstract)},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {1--8},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_1},
doi = {10.1007/978-3-319-67089-8\_1},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Doyen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FiliotR17,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Matthew Hague and
Igor Potapov},
title = {Copyful Streaming String Transducers},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {75--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_6},
doi = {10.1007/978-3-319-67089-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FiliotR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HundeshagenL17,
author = {Norbert Hundeshagen and
Martin Lange},
editor = {Matthew Hague and
Igor Potapov},
title = {Model Checking {CTL} over Restricted Classes of Automatic Structures},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {87--100},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_7},
doi = {10.1007/978-3-319-67089-8\_7},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/HundeshagenL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Hutagalung17,
author = {Milka Hutagalung},
editor = {Matthew Hague and
Igor Potapov},
title = {Topological Characterisation of Multi-buffer Simulation},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {101--117},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_8},
doi = {10.1007/978-3-319-67089-8\_8},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Hutagalung17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Niskanen17,
author = {Reino Niskanen},
editor = {Matthew Hague and
Igor Potapov},
title = {Reachability Problem for Polynomial Iteration Is PSPACE-complete},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {132--143},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_10},
doi = {10.1007/978-3-319-67089-8\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Niskanen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sproston17,
author = {Jeremy Sproston},
editor = {Matthew Hague and
Igor Potapov},
title = {Probabilistic Timed Automata with Clock-Dependent Probabilities},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {144--159},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_11},
doi = {10.1007/978-3-319-67089-8\_11},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Sproston17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Valmari17,
author = {Antti Valmari},
editor = {Matthew Hague and
Igor Potapov},
title = {Stubborn Sets with Frozen Actions},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {160--175},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_12},
doi = {10.1007/978-3-319-67089-8\_12},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Valmari17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Yamakami17,
author = {Tomoyuki Yamakami},
editor = {Matthew Hague and
Igor Potapov},
title = {Parameterized Graph Connectivity and Polynomial-Time Sub-Linear-Space
Short Reductions - (Preliminary Report)},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {176--191},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_13},
doi = {10.1007/978-3-319-67089-8\_13},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Yamakami17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2017,
editor = {Matthew Hague and
Igor Potapov},
title = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8},
doi = {10.1007/978-3-319-67089-8},
isbn = {978-3-319-67088-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AlechinaBDL16,
author = {Natasha Alechina and
Nils Bulling and
St{\'{e}}phane Demri and
Brian Logan},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {On the Complexity of Resource-Bounded Logics},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {36--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_3},
doi = {10.1007/978-3-319-45994-3\_3},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AlechinaBDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BestW16,
author = {Eike Best and
Harro Wimmel},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have
Marked Graph Reachability Graphs},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {51--62},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_4},
doi = {10.1007/978-3-319-45994-3\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BestW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CoentFMVC16,
author = {Adrien Le Co{\"{e}}nt and
Laurent Fribourg and
Nicolas Markey and
Florian De Vuyst and
Ludovic Chamoin},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Distributed Synthesis of State-Dependent Switching Control},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {119--133},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_9},
doi = {10.1007/978-3-319-45994-3\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/CoentFMVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CoentFS16,
author = {Adrien Le Co{\"{e}}nt and
Laurent Fribourg and
Romain Soulat},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Compositional Analysis of Boolean Networks Using Local Fixed-Point
Iterations},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {134--147},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_10},
doi = {10.1007/978-3-319-45994-3\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CoentFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Delzanno16,
author = {Giorgio Delzanno},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Reachability Predicates for Graph Assertions},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {63--76},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_5},
doi = {10.1007/978-3-319-45994-3\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Delzanno16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Finkel16,
author = {Alain Finkel},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {The Ideal Theory for {WSTS}},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {1--22},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_1},
doi = {10.1007/978-3-319-45994-3\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Finkel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GeffroyLS16,
author = {Thomas Geffroy and
J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Occam's Razor Applied to the Petri Net Coverability Problem},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {77--89},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_6},
doi = {10.1007/978-3-319-45994-3\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GeffroyLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HagueL16,
author = {Matthew Hague and
Anthony Widjaja Lin},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Decidable Models of Integer-Manipulating Programs with Recursive Parallelism},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {148--162},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_11},
doi = {10.1007/978-3-319-45994-3\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HagueL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HansenV16,
author = {Henri Hansen and
Antti Valmari},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Safety Property-Driven Stubborn Sets},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {90--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_7},
doi = {10.1007/978-3-319-45994-3\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HansenV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/JonesT16,
author = {Sam A. M. Jones and
Richard M. Thomas},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Characterizing Word Problems of Groups},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {104--118},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_8},
doi = {10.1007/978-3-319-45994-3\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/JonesT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LegayST16,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Rare Events for Statistical Model Checking an Overview},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {23--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_2},
doi = {10.1007/978-3-319-45994-3\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/LegayST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Niskanen16,
author = {Reino Niskanen},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Robot Games with States in Dimension One},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {163--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_12},
doi = {10.1007/978-3-319-45994-3\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Niskanen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/PotapovPV16,
author = {Igor Potapov and
Olena Prianychnykova and
Sergey Verlan},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Insertion-Deletion Systems over Relational Words},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {177--191},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_13},
doi = {10.1007/978-3-319-45994-3\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/PotapovPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2016,
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3},
doi = {10.1007/978-3-319-45994-3},
isbn = {978-3-319-45993-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AndreLR15,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Integer-Complete Synthesis for Bounded Parametric Timed Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {7--19},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_2},
doi = {10.1007/978-3-319-24537-9\_2},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/rp/AndreLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AndrianariveloR15,
author = {Nirina Andrianarivelo and
Pierre R{\'{e}}ty},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Over-Approximating Terms Reachable by Context-Sensitive Rewriting},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {128--139},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_12},
doi = {10.1007/978-3-319-24537-9\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AndrianariveloR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Baier15,
author = {Christel Baier},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Reasoning About Cost-Utility Constraints in Probabilistic Models},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {1--6},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_1},
doi = {10.1007/978-3-319-24537-9\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Baier15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BerardHPDS15,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Claudine Picaronny and
Mohab Safey El Din and
Mathieu Sassolas},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Polynomial Interrupt Timed Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {20--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_3},
doi = {10.1007/978-3-319-24537-9\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BerardHPDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FijalkowS15,
author = {Nathana{\"{e}}l Fijalkow and
Michal Skrzypczak},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Irregular Behaviours for Probabilistic Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {33--36},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_4},
doi = {10.1007/978-3-319-24537-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/FijalkowS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FribourgGMMP15,
author = {Laurent Fribourg and
Eric Goubault and
Sameh Mohamed and
Marian Mrozek and
Sylvie Putot},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {A Topological Method for Finding Invariant Sets of Continuous Systems},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {63--75},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_7},
doi = {10.1007/978-3-319-24537-9\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FribourgGMMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Hunter15,
author = {Paul Hunter},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Reachability in Succinct One-Counter Games},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {37--49},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_5},
doi = {10.1007/978-3-319-24537-9\_5},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Hunter15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Jancar15,
author = {Petr Jancar},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {On Reachability-Related Games on Vector Addition Systems with States},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {50--62},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_6},
doi = {10.1007/978-3-319-24537-9\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Jancar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LazicS15,
author = {Ranko Lazic and
Sylvain Schmitz},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {The Ideal View on Rackoff's Coverability Technique},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {76--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_8},
doi = {10.1007/978-3-319-24537-9\_8},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/LazicS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Lechner15,
author = {Antonia Lechner},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Synthesis Problems for One-Counter Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {89--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_9},
doi = {10.1007/978-3-319-24537-9\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Lechner15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LerouxST15,
author = {J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre and
Patrick Totzke},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {On Boundedness Problems for Pushdown Vector Addition Systems},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {101--113},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_10},
doi = {10.1007/978-3-319-24537-9\_10},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/LerouxST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Malkis15,
author = {Alexander Malkis},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive
Programs Is Polynomial},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {114--127},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_11},
doi = {10.1007/978-3-319-24537-9\_11},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Malkis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ShimakawaHY15,
author = {Masaya Shimakawa and
Shigeki Hagihara and
Naoki Yonezaki},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Reducing Bounded Realizability Analysis to Reachability Checking},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {140--152},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_13},
doi = {10.1007/978-3-319-24537-9\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/ShimakawaHY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Yamamura15,
author = {Akihiro Yamamura},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Rearranging Two Dimensional Arrays by Prefix Reversals},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {153--165},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_14},
doi = {10.1007/978-3-319-24537-9\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Yamamura15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Zetzsche15,
author = {Georg Zetzsche},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {The Emptiness Problem for Valence Automata or: Another Decidable Extension
of Petri Nets},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {166--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_15},
doi = {10.1007/978-3-319-24537-9\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Zetzsche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2015,
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9},
doi = {10.1007/978-3-319-24537-9},
isbn = {978-3-319-24536-2},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BazilleBGP14,
author = {Hugo Bazille and
Olivier Bournez and
Walid Gomaa and
Amaury Pouly},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {On The Complexity of Bounded Time Reachability for Piecewise Affine
Systems},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {20--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_2},
doi = {10.1007/978-3-319-11439-2\_2},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BazilleBGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellCJ14,
author = {Paul C. Bell and
Shang Chen and
Lisa M. Jackson},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Reachability and Mortality Problems for Restricted Hierarchical Piecewise
Constant Derivatives},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {32--44},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_3},
doi = {10.1007/978-3-319-11439-2\_3},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BellCJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BolligGS14,
author = {Benedikt Bollig and
Paul Gastin and
Jana Schubert},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Parameterized Verification of Communicating Automata under Context
Bounds},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {45--57},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_4},
doi = {10.1007/978-3-319-11439-2\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BolligGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CarayolH14,
author = {Arnaud Carayol and
Matthew Hague},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Regular Strategies in Pushdown Reachability Games},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {58--71},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_5},
doi = {10.1007/978-3-319-11439-2\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CarayolH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DelzannoS14,
author = {Giorgio Delzanno and
Jan St{\"{u}}ckrath},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Parameterized Verification of Graph Transformation Systems with Whole
Neighbourhood Operations},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {72--84},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_6},
doi = {10.1007/978-3-319-11439-2\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DelzannoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DemriDS14,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Equivalence Between Model-Checking Flat Counter Systems and Presburger
Arithmetic},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {85--97},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_7},
doi = {10.1007/978-3-319-11439-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DemriDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GeeraertsGS14,
author = {Gilles Geeraerts and
Jo{\"{e}}l Goossens and
Am{\'{e}}lie Stainer},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Synthesising Succinct Strategies in Safety and Reachability Games},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {98--111},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_8},
doi = {10.1007/978-3-319-11439-2\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GeeraertsGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HaaseH14,
author = {Christoph Haase and
Simon Halfon},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Integer Vector Addition Systems with States},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {112--124},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_9},
doi = {10.1007/978-3-319-11439-2\_9},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HaaseH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HaddadM14,
author = {Serge Haddad and
Benjamin Monmege},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Reachability in MDPs: Refining Convergence of Value Iteration},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {125--137},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_10},
doi = {10.1007/978-3-319-11439-2\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/HaddadM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Ho14,
author = {Hsi{-}Ming Ho},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {On the Expressiveness of Metric Temporal Logic over Bounded Timed
Words},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {138--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_11},
doi = {10.1007/978-3-319-11439-2\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Ho14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HofmanT14,
author = {Piotr Hofman and
Patrick Totzke},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Trace Inclusion for One-Counter Nets Revisited},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {151--162},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_12},
doi = {10.1007/978-3-319-11439-2\_12},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/HofmanT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HunterPR14,
author = {Paul Hunter and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Mean-Payoff Games with Partial-Observation - (Extended Abstract)},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {163--175},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_13},
doi = {10.1007/978-3-319-11439-2\_13},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HunterPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/JovanovicK14,
author = {Aleksandra Jovanovic and
Marta Z. Kwiatkowska},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Parameter Synthesis for Probabilistic Timed Automata Using Stochastic
Game Abstractions},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {176--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_14},
doi = {10.1007/978-3-319-11439-2\_14},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/JovanovicK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LerouxS14,
author = {J{\'{e}}r{\^{o}}me Leroux and
Philippe Schnoebelen},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {On Functions Weakly Computable by Petri Nets and Vector Addition Systems},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {190--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_15},
doi = {10.1007/978-3-319-11439-2\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/LerouxS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MahdiF14,
author = {Ahmed Mahdi and
Martin Fr{\"{a}}nzle},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Generalized Craig Interpolation for Stochastic Satisfiability Modulo
Theory Problems},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {203--215},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_16},
doi = {10.1007/978-3-319-11439-2\_16},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MahdiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MahdiWF14,
author = {Ahmed Mahdi and
Bernd Westphal and
Martin Fr{\"{a}}nzle},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Transformations for Compositional Verification of Assumption-Commitment
Properties},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {216--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_17},
doi = {10.1007/978-3-319-11439-2\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MahdiWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/RathkeSS14,
author = {Julian Rathke and
Pawel Sobocinski and
Owen Stephens},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Compositional Reachability in Petri Nets},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {230--243},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_18},
doi = {10.1007/978-3-319-11439-2\_18},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/RathkeSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Schmitz14,
author = {Sylvain Schmitz},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Complexity Bounds for Ordinal-Based Termination - (Invited Talk)},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {1--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_1},
doi = {10.1007/978-3-319-11439-2\_1},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Schmitz14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2014,
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2},
doi = {10.1007/978-3-319-11439-2},
isbn = {978-3-319-11438-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellC13,
author = {Paul C. Bell and
Shang Chen},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Reachability Problems for Hierarchical Piecewise Constant Derivative
Systems},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {46--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_6},
doi = {10.1007/978-3-642-41036-9\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellettiniCCM13,
author = {Carlo Bellettini and
Matteo Camilli and
Lorenzo Capra and
Mattia Monga},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {83--95},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_9},
doi = {10.1007/978-3-642-41036-9\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellettiniCCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BerardHJL13,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Aleksandra Jovanovic and
Didier Lime},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Parametric Interrupt Timed Automata},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {59--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_7},
doi = {10.1007/978-3-642-41036-9\_7},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BerardHJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BersaniRP13,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Deciding Continuous-Time Metric Temporal Logic with Counting Modalities},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {70--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_8},
doi = {10.1007/978-3-642-41036-9\_8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BouyerMS13,
author = {Patricia Bouyer and
Nicolas Markey and
Ocan Sankur},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Robustness in Timed Automata},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_1},
doi = {10.1007/978-3-642-41036-9\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BouyerMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CrescenzoT13,
author = {Ilaria De Crescenzo and
Salvatore {La Torre}},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Modular Synthesis with Open Components},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {96--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_10},
doi = {10.1007/978-3-642-41036-9\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CrescenzoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DelzannoST13,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Riccardo Traverso},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Parameterized Verification of Broadcast Networks of Register Automata},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {109--121},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_11},
doi = {10.1007/978-3-642-41036-9\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DelzannoST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FrederiksenM13,
author = {S{\o}ren Kristoffer Stiil Frederiksen and
Peter Bro Miltersen},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Monomial Strategies for Concurrent Reachability Games and Other Stochastic
Games},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {122--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_12},
doi = {10.1007/978-3-642-41036-9\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FrederiksenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FribourgS13,
author = {Laurent Fribourg and
Romain Soulat},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Stability Controllers for Sampled Switched Systems},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {135--145},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_13},
doi = {10.1007/978-3-642-41036-9\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FribourgS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/JonesT13,
author = {Sam A. M. Jones and
Richard M. Thomas},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Formal Languages, Word Problems of Groups and Decidability},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {146--158},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_14},
doi = {10.1007/978-3-642-41036-9\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/JonesT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KlaiAP13,
author = {Kais Klai and
Naim Aber and
Laure Petrucci},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Verification of Reachability Properties for Time Petri Nets},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {159--170},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_15},
doi = {10.1007/978-3-642-41036-9\_15},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/KlaiAP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Kroening13,
author = {Daniel Kroening},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Automated Verification of Concurrent Software},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {19--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_2},
doi = {10.1007/978-3-642-41036-9\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Kroening13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LalQ13,
author = {Akash Lal and
Shaz Qadeer},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Reachability Modulo Theories},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {23--44},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_4},
doi = {10.1007/978-3-642-41036-9\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/LalQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MajumdarMW13,
author = {Rupak Majumdar and
Roland Meyer and
Zilong Wang},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Provenance Verification},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {21--22},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_3},
doi = {10.1007/978-3-642-41036-9\_3},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MajumdarMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MayrT13,
author = {Richard Mayr and
Patrick Totzke},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Branching-Time Model Checking Gap-Order Constraint Systems},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {171--182},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_16},
doi = {10.1007/978-3-642-41036-9\_16},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/MayrT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MayrW13,
author = {Ernst W. Mayr and
Jeremias Weihmann},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Completeness Results for Generalized Communication-Free Petri Nets
with Arbitrary Edge Multiplicities},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {209--221},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_19},
doi = {10.1007/978-3-642-41036-9\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MayrW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/PiipponenV13,
author = {Artturi Piipponen and
Antti Valmari},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Constructing Minimal Coverability Sets},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {183--195},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_17},
doi = {10.1007/978-3-642-41036-9\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/PiipponenV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Reichert13,
author = {Julien Reichert},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {On the Complexity of Counter Reachability Games},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {196--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_18},
doi = {10.1007/978-3-642-41036-9\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Reichert13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Schwentick13,
author = {Thomas Schwentick},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {The Dynamic Complexity of the Reachability Problem on Graphs},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {45},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_5},
doi = {10.1007/978-3-642-41036-9\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Schwentick13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2013,
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9},
doi = {10.1007/978-3-642-41036-9},
isbn = {978-3-642-41035-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AkshayHJR12,
author = {S. Akshay and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard and
Pierre{-}Alain Reynier},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Robustness of Time Petri Nets under Guard Enlargement},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {92--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_9},
doi = {10.1007/978-3-642-33512-9\_9},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AkshayHJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BenvenutiBCFGV12,
author = {Luca Benvenuti and
Davide Bresolin and
Pieter Collins and
Alberto Ferrari and
Luca Geretti and
Tiziano Villa},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability
Analysis},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {79--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_8},
doi = {10.1007/978-3-642-33512-9\_8},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BenvenutiBCFGV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BojanczykL12,
author = {Mikolaj Bojanczyk and
Slawomir Lasota},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Fraenkel-Mostowski Sets with Non-homogeneous Atoms},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {1--5},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_1},
doi = {10.1007/978-3-642-33512-9\_1},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BojanczykL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BrocchiM12,
author = {Stefano Brocchi and
Paolo Massazza},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Smooth Sand Piles},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {66--78},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_7},
doi = {10.1007/978-3-642-33512-9\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BrocchiM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Felscher12,
author = {Ingo Felscher},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {LTL-Model-Checking via Model Composition},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {42--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_5},
doi = {10.1007/978-3-642-33512-9\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Felscher12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GhorbalDKIG12,
author = {Khalil Ghorbal and
Parasara Sridhar Duggirala and
Vineet Kahlon and
Franjo Ivancic and
Aarti Gupta},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Efficient Probabilistic Model Checking of Systems with Ranged Probabilities},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {107--120},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_10},
doi = {10.1007/978-3-642-33512-9\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/GhorbalDKIG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HaaseOW12,
author = {Christoph Haase and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {On the Relationship between Reachability Problems in Timed and Counter
Automata},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {54--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_6},
doi = {10.1007/978-3-642-33512-9\_6},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HaaseOW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HanschK12,
author = {Paul H{\"{a}}nsch and
Stefan Kowalewski},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Invariants for {LTI} Systems with Uncertain Input},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {137--148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_12},
doi = {10.1007/978-3-642-33512-9\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HanschK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Kucera12,
author = {Anton{\'{\i}}n Kucera},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Playing Games with Counter Automata},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {29--41},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_4},
doi = {10.1007/978-3-642-33512-9\_4},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Kucera12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/OuaknineW12,
author = {Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Decision Problems for Linear Recurrence Sequences},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {21--28},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_3},
doi = {10.1007/978-3-642-33512-9\_3},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/OuaknineW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Saleh12,
author = {Rafiq Saleh},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {On the Length of Knot Transformations via Reidemeister Moves {I} and
{II}},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {121--136},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_11},
doi = {10.1007/978-3-642-33512-9\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Saleh12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SalvatiW12,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {6--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_2},
doi = {10.1007/978-3-642-33512-9\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SalvatiW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2012,
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9},
doi = {10.1007/978-3-642-33512-9},
isbn = {978-3-642-33511-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AbdullaCV11,
author = {Parosh Aziz Abdulla and
Jonathan Cederberg and
Tom{\'{a}}s Vojnar},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Monotonic Abstraction for Programs with Multiply-Linked Structures},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {125--138},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_12},
doi = {10.1007/978-3-642-24288-5\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/AbdullaCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AndreS11,
author = {{\'{E}}tienne Andr{\'{e}} and
Romain Soulat},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Synthesis of Timing Parameters Satisfying Safety Properties},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {31--44},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_5},
doi = {10.1007/978-3-642-24288-5\_5},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AndreS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AxelssonL11,
author = {Roland Axelsson and
Martin Lange},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Formal Language Constrained Reachability and Model Checking Propositional
Dynamic Logics},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {45--57},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_6},
doi = {10.1007/978-3-642-24288-5\_6},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AxelssonL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BersaniFRP11,
author = {Marcello M. Bersani and
Achille Frigeri and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Completeness of the Bounded Satisfiability Problem for Constraint
{LTL}},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {58--71},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_7},
doi = {10.1007/978-3-642-24288-5\_7},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BersaniFRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BoichutDM11,
author = {Yohan Boichut and
Thi{-}Bich{-}Hanh Dao and
Val{\'{e}}rie Murat},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Characterizing Conclusive Approximations by Logical Formulae},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {72--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_8},
doi = {10.1007/978-3-642-24288-5\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BoichutDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Bonnet11,
author = {R{\'{e}}mi Bonnet},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Decidability of {LTL} for Vector Addition Systems with One Zero-Test},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {85--95},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_9},
doi = {10.1007/978-3-642-24288-5\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Bonnet11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BozzelliG11,
author = {Laura Bozzelli and
Pierre Ganty},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Complexity Analysis of the Backward Coverability Algorithm for {VASS}},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {96--109},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_10},
doi = {10.1007/978-3-642-24288-5\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BozzelliG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CarioniGR11,
author = {Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Automated Termination in Model Checking Modulo Theories},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {110--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_11},
doi = {10.1007/978-3-642-24288-5\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CarioniGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Chatterjee11,
author = {Krishnendu Chatterjee},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Graph Games with Reachability Objectives - (Invited Talk)},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_1},
doi = {10.1007/978-3-642-24288-5\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Chatterjee11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ChenAF11,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Efficient Bounded Reachability Computation for Rectangular Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {139--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_13},
doi = {10.1007/978-3-642-24288-5\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/ChenAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ChenHKM11,
author = {Taolue Chen and
Tingting Han and
Joost{-}Pieter Katoen and
Alexandru Mereacre},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Observing Continuous-Time MDPs by 1-Clock Timed Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {2--25},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_2},
doi = {10.1007/978-3-642-24288-5\_2},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/ChenHKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Courcelle11,
author = {Bruno Courcelle},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Automata for Monadic Second-Order Model-Checking},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {26--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_3},
doi = {10.1007/978-3-642-24288-5\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Courcelle11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/EggermontW11,
author = {Christian Eggermont and
Gerhard J. Woeginger},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Reachability and Deadlocking Problems in Multi-stage Scheduling},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {153--164},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_14},
doi = {10.1007/978-3-642-24288-5\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/EggermontW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Improving Reachability Analysis of Infinite State Systems by Specialization},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {165--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_15},
doi = {10.1007/978-3-642-24288-5\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FribourgK11,
author = {Laurent Fribourg and
Ulrich K{\"{u}}hne},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Parametric Verification and Test Coverage for Hybrid Automata Using
the Inverse Method},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {191--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_17},
doi = {10.1007/978-3-642-24288-5\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FribourgK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Gusev11,
author = {Vladimir V. Gusev},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Lower Bounds for the Length of Reset Words in Eulerian Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {180--190},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_16},
doi = {10.1007/978-3-642-24288-5\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Gusev11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Margenstern11,
author = {Maurice Margenstern},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {A New Weakly Universal Cellular Automaton in the 3D Hyperbolic Space
with Two States},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {205--217},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_18},
doi = {10.1007/978-3-642-24288-5\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Margenstern11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MummeC11,
author = {Malcolm Mumme and
Gianfranco Ciardo},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {A Fully Symbolic Bisimulation Algorithm},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {218--230},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_19},
doi = {10.1007/978-3-642-24288-5\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/MummeC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Raskin11,
author = {Jean{-}Fran{\c{c}}ois Raskin},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Reachability Problems for Hybrid Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {28--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_4},
doi = {10.1007/978-3-642-24288-5\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Raskin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SkrypnyukN11,
author = {Nataliya Skrypnyuk and
Flemming Nielson},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Reachability for Finite-State Process Algebras Using Static Analysis},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {231--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_20},
doi = {10.1007/978-3-642-24288-5\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SkrypnyukN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2011,
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5},
doi = {10.1007/978-3-642-24288-5},
isbn = {978-3-642-24287-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AndreF10,
author = {{\'{E}}tienne Andr{\'{e}} and
Laurent Fribourg},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Behavioral Cartography of Timed Automata},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {76--90},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_5},
doi = {10.1007/978-3-642-15349-5\_5},
timestamp = {Mon, 12 Jun 2023 09:54:30 +0200},
biburl = {https://dblp.org/rec/conf/rp/AndreF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellHH10,
author = {Paul Bell and
Vesa Halava and
Mika Hirvensalo},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {On the Joint Spectral Radius for Bounded Matrix Languages},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {91--103},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_6},
doi = {10.1007/978-3-642-15349-5\_6},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BellHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Chaloupka10,
author = {Jakub Chaloupka},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Z-Reachability Problem for Games on 2-Dimensional Vector Addition
Systems with States Is in {P}},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {104--119},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_7},
doi = {10.1007/978-3-642-15349-5\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Chaloupka10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HolzerK10,
author = {Markus Holzer and
Martin Kutrib},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Descriptional Complexity of (Un)ambiguous Finite State Machines and
Pushdown Automata},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {1--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_1},
doi = {10.1007/978-3-642-15349-5\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HolzerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Larsen10,
author = {Kim Guldstrand Larsen},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Symbolic and Compositional Reachability for Timed Automata},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {24--28},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_2},
doi = {10.1007/978-3-642-15349-5\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Larsen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Margenstern10,
author = {Maurice Margenstern},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Towards the Frontier between Decidability and Undecidability for Hyperbolic
Cellular Automata},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {120--132},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_8},
doi = {10.1007/978-3-642-15349-5\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Margenstern10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MundhenkW10,
author = {Martin Mundhenk and
Felix Wei{\ss}},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {The Complexity of Model Checking for Intuitionistic Logics and Their
Modal Companions},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {146--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_10},
doi = {10.1007/978-3-642-15349-5\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MundhenkW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/NauroisM10,
author = {Paulin Jacob{\'{e}} de Naurois and
Virgile Mogbil},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Rewriting Systems for Reachability in Vector Addition Systems with
Pairs},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {133--145},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_9},
doi = {10.1007/978-3-642-15349-5\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/NauroisM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Rabinovich10,
author = {Alexander Rabinovich},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Temporal Logics over Linear Time Domains Are in {PSPACE}},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {29--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_3},
doi = {10.1007/978-3-642-15349-5\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Rabinovich10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Sawa10,
author = {Zdenek Sawa},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Efficient Construction of Semilinear Representations of Languages
Accepted by Unary {NFA}},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {176--182},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_12},
doi = {10.1007/978-3-642-15349-5\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Sawa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Schnoebelen10,
author = {Philippe Schnoebelen},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Lossy Counter Machines Decidability Cheat Sheet},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {51--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_4},
doi = {10.1007/978-3-642-15349-5\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Schnoebelen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Velardo10,
author = {Fernando Rosa{-}Velardo},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Depth Boundedness in Multiset Rewriting Systems with Name Binding},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {161--175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_11},
doi = {10.1007/978-3-642-15349-5\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Velardo10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Wei10,
author = {Fang Wei},
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Efficient Graph Reachability Query Answering Using Tree Decomposition},
booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
pages = {183--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5\_13},
doi = {10.1007/978-3-642-15349-5\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Wei10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2010,
editor = {Anton{\'{\i}}n Kucera and
Igor Potapov},
title = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
Czech Republic, August 28-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6227},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15349-5},
doi = {10.1007/978-3-642-15349-5},
isbn = {978-3-642-15348-8},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AbdullaDR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Olivier Bournez and
Igor Potapov},
title = {Automatic Verification of Directory-Based Consistency Protocols},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_6},
doi = {10.1007/978-3-642-04420-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/AbdullaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AtigB09,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani},
editor = {Olivier Bournez and
Igor Potapov},
title = {On the Reachability Problem for Dynamic Networks of Concurrent Pushdown
Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {1--2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_1},
doi = {10.1007/978-3-642-04420-5\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AtigB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AtigH09,
author = {Mohamed Faouzi Atig and
Peter Habermehl},
editor = {Olivier Bournez and
Igor Potapov},
title = {On Yen's Path Logic for Petri Nets},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {51--63},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_7},
doi = {10.1007/978-3-642-04420-5\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AtigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BarbutiLMS09,
author = {Roberto Barbuti and
Francesca Levi and
Paolo Milazzo and
Guido Scatena},
editor = {Olivier Bournez and
Igor Potapov},
title = {Probabilistic Model Checking of Biological Systems with Uncertain
Kinetic Rates},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {64--78},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_8},
doi = {10.1007/978-3-642-04420-5\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BarbutiLMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BoichutHK09,
author = {Yohan Boichut and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
editor = {Olivier Bournez and
Igor Potapov},
title = {How to Tackle Integer Weighted Automata Positivity},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {79--92},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_9},
doi = {10.1007/978-3-642-04420-5\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BoichutHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Chaouch-SaadCM09,
author = {Mouna Chaouch{-}Saad and
Bernadette Charron{-}Bost and
Stephan Merz},
editor = {Olivier Bournez and
Igor Potapov},
title = {A Reduction Theorem for the Verification of Round-Based Distributed
Algorithms},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {93--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_10},
doi = {10.1007/978-3-642-04420-5\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Chaouch-SaadCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CollinsZ09,
author = {Pieter Collins and
Ivan S. Zapreev},
editor = {Olivier Bournez and
Igor Potapov},
title = {Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {107--119},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_11},
doi = {10.1007/978-3-642-04420-5\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CollinsZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HenzingerJW09,
author = {Thomas A. Henzinger and
Barbara Jobstmann and
Verena Wolf},
editor = {Olivier Bournez and
Igor Potapov},
title = {Formalisms for Specifying Markovian Population Models},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {3--23},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_2},
doi = {10.1007/978-3-642-04420-5\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/HenzingerJW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KumarMM09,
author = {V. S. Anil Kumar and
Matthew Macauley and
Henning S. Mortveit},
editor = {Olivier Bournez and
Igor Potapov},
title = {Limit Set Reachability in Asynchronous Graph Dynamical Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {217--232},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_20},
doi = {10.1007/978-3-642-04420-5\_20},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/KumarMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Lehtonen09,
author = {Eero Lehtonen},
editor = {Olivier Bournez and
Igor Potapov},
title = {An Undecidable Permutation of the Natural Numbers},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {120--126},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_12},
doi = {10.1007/978-3-642-04420-5\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Lehtonen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Lugiez09,
author = {Denis Lugiez},
editor = {Olivier Bournez and
Igor Potapov},
title = {Forward Analysis of Dynamic Network of Pushdown Systems Is Easier
without Order},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {127--140},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_13},
doi = {10.1007/978-3-642-04420-5\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Lugiez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Majster-CederbaumM09,
author = {Mila E. Majster{-}Cederbaum and
Christoph Minnameier},
editor = {Olivier Bournez and
Igor Potapov},
title = {Cross-Checking - Enhanced Over-Approximation of the Reachable Global
State Space of Component-Based Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {189--202},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_18},
doi = {10.1007/978-3-642-04420-5\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Majster-CederbaumM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Maler09,
author = {Oded Maler},
editor = {Olivier Bournez and
Igor Potapov},
title = {Reachability for Continuous and Hybrid Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {24--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_3},
doi = {10.1007/978-3-642-04420-5\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Maler09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ManuelR09,
author = {Amaldev Manuel and
Ramaswamy Ramanujam},
editor = {Olivier Bournez and
Igor Potapov},
title = {Counting Multiplicity over Infinite Alphabets},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {141--153},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_14},
doi = {10.1007/978-3-642-04420-5\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/ManuelR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Margenstern09,
author = {Maurice Margenstern},
editor = {Olivier Bournez and
Igor Potapov},
title = {The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {154--165},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_15},
doi = {10.1007/978-3-642-04420-5\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Margenstern09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MaubertP09,
author = {Bastien Maubert and
Sophie Pinchinat},
editor = {Olivier Bournez and
Igor Potapov},
title = {Games with Opacity Condition},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {166--175},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_16},
doi = {10.1007/978-3-642-04420-5\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MaubertP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/McMillanZ09,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
editor = {Olivier Bournez and
Igor Potapov},
title = {Abstract Counterexamples for Non-disjunctive Abstractions},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {176--188},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_17},
doi = {10.1007/978-3-642-04420-5\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/McMillanZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Seth09,
author = {Anil Seth},
editor = {Olivier Bournez and
Igor Potapov},
title = {Games on Higher Order Multi-stack Pushdown Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {203--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_19},
doi = {10.1007/978-3-642-04420-5\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Seth09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Shen09,
author = {Alexander Shen},
editor = {Olivier Bournez and
Igor Potapov},
title = {Algorithmic Information Theory and Foundations of Probability},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {26--34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_4},
doi = {10.1007/978-3-642-04420-5\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Shen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Vardi09,
author = {Moshe Y. Vardi},
editor = {Olivier Bournez and
Igor Potapov},
title = {Model Checking as {A} Reachability Problem},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_5},
doi = {10.1007/978-3-642-04420-5\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Vardi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2009,
editor = {Olivier Bournez and
Igor Potapov},
title = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5},
doi = {10.1007/978-3-642-04420-5},
isbn = {978-3-642-04419-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdullaDR08,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Vesa Halava and
Igor Potapov},
title = {Monotonic Abstraction in Parameterized Verification},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {3--14},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.027},
doi = {10.1016/J.ENTCS.2008.12.027},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbdullaDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreCFE08,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
Laurent Fribourg and
Emmanuelle Encrenaz},
editor = {Vesa Halava and
Igor Potapov},
title = {An Inverse Method for Parametric Timed Automata},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {29--46},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.029},
doi = {10.1016/J.ENTCS.2008.12.029},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreCFE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauerGS08,
author = {Kerstin Bauer and
Raffaella Gentilini and
Klaus Schneider},
editor = {Vesa Halava and
Igor Potapov},
title = {Approximated Reachability on Hybrid Automata: Falsification meets
Certification},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {47--60},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.030},
doi = {10.1016/J.ENTCS.2008.12.030},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BauerGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoichutCHK08,
author = {Yohan Boichut and
Rom{\'{e}}o Courbis and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
editor = {Vesa Halava and
Igor Potapov},
title = {Handling Left-Quadratic Rules When Completing Tree Automata},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {61--70},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.031},
doi = {10.1016/J.ENTCS.2008.12.031},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoichutCHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CharltonH08,
author = {Nathaniel Charlton and
Michael Huth},
editor = {Vesa Halava and
Igor Potapov},
title = {Falsifying Safety Properties Through Games on Over-approximating Models},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {71--86},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.032},
doi = {10.1016/J.ENTCS.2008.12.032},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CharltonH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CollinsG08a,
author = {Pieter Collins and
Alexandre Goldsztejn},
editor = {Vesa Halava and
Igor Potapov},
title = {The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear
Dynamical Systems},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {87--102},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.033},
doi = {10.1016/J.ENTCS.2008.12.033},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CollinsG08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Felscher08,
author = {Ingo Felscher},
editor = {Vesa Halava and
Igor Potapov},
title = {The Compositional Method and Regular Reachability},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {103--117},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.034},
doi = {10.1016/J.ENTCS.2008.12.034},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Felscher08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteP08,
author = {Jan Friso Groote and
Bas Ploeger},
editor = {Vesa Halava and
Igor Potapov},
title = {Switching Graphs},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {119--135},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.035},
doi = {10.1016/J.ENTCS.2008.12.035},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HalavaP08,
author = {Vesa Halava and
Igor Potapov},
editor = {Vesa Halava and
Igor Potapov},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.026},
doi = {10.1016/J.ENTCS.2008.12.026},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HalavaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Karhumaki08,
author = {Juhani Karhum{\"{a}}ki},
editor = {Vesa Halava and
Igor Potapov},
title = {Reachability via Cooperating Morphisms},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {15--27},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.028},
doi = {10.1016/J.ENTCS.2008.12.028},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Karhumaki08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lampka08,
author = {Kai Lampka},
editor = {Vesa Halava and
Igor Potapov},
title = {A New Algorithm for Partitioned Symbolic Reachability Analysis},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {137--151},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.036},
doi = {10.1016/J.ENTCS.2008.12.036},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lampka08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LlorensOSTV08,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Vesa Halava and
Igor Potapov},
title = {Dynamic Slicing Techniques for Petri Nets},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {153--165},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.037},
doi = {10.1016/J.ENTCS.2008.12.037},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LlorensOSTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MargensternS08,
author = {Maurice Margenstern and
Yu Song},
editor = {Vesa Halava and
Igor Potapov},
title = {A Universal Cellular Automaton on the Ternary Heptagrid},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {167--185},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.038},
doi = {10.1016/J.ENTCS.2008.12.038},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MargensternS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martyugin08,
author = {Pavel Martyugin},
editor = {Vesa Halava and
Igor Potapov},
title = {The Length of Subset Reachability in Nondeterministic Automata},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {187--200},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.039},
doi = {10.1016/J.ENTCS.2008.12.039},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martyugin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeierMTV08,
author = {Arne Meier and
Martin Mundhenk and
Michael Thomas and
Heribert Vollmer},
editor = {Vesa Halava and
Igor Potapov},
title = {The Complexity of Satisfiability for Fragments of {CTL} and CTL\({}^{\mbox{*}}\)},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {201--213},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.040},
doi = {10.1016/J.ENTCS.2008.12.040},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MeierMTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PraveenL08,
author = {M. Praveen and
Kamal Lodaya},
editor = {Vesa Halava and
Igor Potapov},
title = {Analyzing Reachability for Some Petri Nets With Fast Growing Markings},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {215--237},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.041},
doi = {10.1016/J.ENTCS.2008.12.041},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PraveenL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Reinhardt08,
author = {Klaus Reinhardt},
editor = {Vesa Halava and
Igor Potapov},
title = {Reachability in Petri Nets with Inhibitor Arcs},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {239--264},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.042},
doi = {10.1016/J.ENTCS.2008.12.042},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Reinhardt08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2008,
editor = {Vesa Halava and
Igor Potapov},
title = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/223/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-22 02:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
