Decidability

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

引用数: 375 • 1986

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

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

引用数: 192 • 2015

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

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

引用数: 50 • 1996

Constructing decidable hybrid systems with velocity bounds

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

引用数: 45 • 2004

Verification of Asynchronous Mobile-Robots in Partially-Known Environments

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

引用数: 28 • 2015

Model Checking Linear-Time Properties of Probabilistic Systems

Christel Baier, Marcus Größer, Frank Ciesinski

引用数: 27 • 2009

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

Max Kanovich, Jacqueline Vauzeilles

引用数: 26 • 2001

Decidability of Motion Planning with Differential Constraints

Peng Cheng, George J. Pappas, Vijay Kumar

引用数: 22 • 2007

Deductive verification of simple foraging robotic behaviours

Abdelkader Behdenna, Clare Dixon, Michael Fisher

引用数: 21 • 2009

Automatic verification of parameterised multi-agent systems

Panagiotis Kouvaros, Alessio Lomuscio

引用数: 17 • 2013

Parameterized verification of algorithms for oblivious robots on a ring

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

引用数: 17 • 2019

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

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

引用数: 15 • 2014

Automatic Verification of Parameterised Interleaved Multi-Agent Systems

Panagiotis Kouvaros, Alessio Lomuscio

引用数: 13 • 2013

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

引用数: 11 • 2006

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

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

引用数: 10 • 2009

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

Sasha Rubin

引用数: 9 • 2015

Parameterized verification of algorithms for oblivious robots on a ring

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

引用数: 9 • 2017