Decidability

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

Citations: 375 • 1986

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

Citations: 192 • 2015

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

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

Citations: 50 • 1996

Constructing decidable hybrid systems with velocity bounds

Călin Belta, L.C.G.J.M. Habets

Citations: 45 • 2004

Verification of Asynchronous Mobile-Robots in Partially-Known Environments

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Citations: 28 • 2015

Model Checking Linear-Time Properties of Probabilistic Systems

Christel Baier, Marcus Größer, Frank Ciesinski

Citations: 27 • 2009

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

Max Kanovich, Jacqueline Vauzeilles

Citations: 26 • 2001

Decidability of Motion Planning with Differential Constraints

Peng Cheng, George J. Pappas, Vijay Kumar

Citations: 22 • 2007

Deductive verification of simple foraging robotic behaviours

Abdelkader Behdenna, Clare Dixon, Michael Fisher

Citations: 21 • 2009

Automatic verification of parameterised multi-agent systems

Panagiotis Kouvaros, Alessio Lomuscio

Citations: 17 • 2013

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil

Citations: 17 • 2019

Exploring the boundaries of decidable verification of non-terminating Golog programs

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

Citations: 15 • 2014

Automatic Verification of Parameterised Interleaved Multi-Agent Systems

Panagiotis Kouvaros, Alessio Lomuscio

Citations: 13 • 2013

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

Citations: 11 • 2006

Towards Learning Robotic Reaching and Pointing: An Uncalibrated Visual Servoing Approach

Azad Shademan, Amir‐massoud Farahmand, Martin Jägersand

Citations: 10 • 2009

Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments

Sasha Rubin

Citations: 9 • 2015

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil

Citations: 9 • 2017