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