Undecidable problem
Related papers: 20
Top Researchers
Top Cited Papers
Limits for automatic verification of finite-state concurrent systems
Krzysztof R. Apt, Dexter Kozen
Citations: 375 • 1986
Verification of Hybrid Systems
Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
Citations: 62 • 2018
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta, Ayush Kanodia
Citations: 57 • 2015
Motion Planning for Metamorphic Systems: Feasibility, Decidability, and Distributed Reconfiguration
Adrian Dumitrescu, Ikuo Suzuki, Masafumi Yamashita
Citations: 50 • 2004
Intention-based front-following control for an intelligent robotic rollator in indoor environments
George P. Moustris, Costas S. Tzafestas
Citations: 18 • 2016
Parameterized verification of algorithms for oblivious robots on a ring
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
Citations: 17 • 2019
Automatic verification of parameterised multi-agent systems
Panagiotis Kouvaros, Alessio Lomuscio
Citations: 17 • 2013
Synthesis with Identifiers
Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress‐Gazit
Citations: 13 • 2014
Automatic Verification of Parameterised Interleaved Multi-Agent Systems
Panagiotis Kouvaros, Alessio Lomuscio
Citations: 13 • 2013
On Frictional Mechanical Systems and Their Computational Power
John H. Reif, Zheng Sun
Citations: 11 • 2003
Parameterized verification of algorithms for oblivious robots on a ring
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
Citations: 9 • 2017
Verification of agent navigation in partially-known environments
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Citations: 9 • 2022
Statistical Model Checking with Change Detection
Axel Legay, Louis‐Marie Traonouez
Citations: 7 • 2016
Belief Manipulation Through Propositional Announcements
Aaron Hunter, François Schwarzentruber, Eric C.C. Tsang
Citations: 6 • 2017
Undecidability of Two-dimensional Robot Games
Reino Niskanen, Igor Potapov, Julien Reichert
Citations: 5 • 2016
On decidability and complexity of low-dimensional robot games
Reino Niskanen, Igor Potapov, J. Reichert
Citations: 5 • 2019
Robot Platform Motion Planning using Answer Set Programming.
Julian J. Portillo, Carmen Leticia García-Mata, Pedro Rafael Márquez-Gutiérrez, Rogelio Baray-Arana
Citations: 5 • 2011
Toward a General Complexity Theory of Motion Planning: Characterizing Which Gadgets Make Games Hard
Erik D. Demaine, Dylan Hendrickson, Jayson Lynch
Citations: 4 • 2020
Anytime replanning using local subplan replacement
Worthy N. Martin, Gabriel J. Ferrer
Citations: 4 • 2002
Toward a General Theory of Motion Planning Complexity: Characterizing Which Gadgets Make Games Hard
Erik D. Demaine, Dylan Hendrickson, Jayson Lynch
Citations: 4 • 2018