Satisfiability

Algorithms for the satisfiability (SAT) problem: A survey

Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah

Citations: 287 • 1997

Formal verification of neural network controlled autonomous systems

Xiaowu Sun, Haitham Khedr, Yasser Shoukry

Citations: 137 • 2019

SMT-based synthesis of integrated task and motion plans from plan outlines

Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

Citations: 62 • 2014

Intractability of Time-Optimal Multirobot Path Planning on 2D Grid Graphs with Holes

Jacopo Banfi, Nicola Basilico, Francesco Amigoni

Citations: 62 • 2017

SMC: Satisfiability Modulo Convex Programming

Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Citations: 49 • 2018

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

Yasser Shoukry, Pierluigi Nuzzo, Ayça Balkan, Indranil Saha, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Citations: 48 • 2017

IQ-ASyMTRe: Forming Executable Coalitions for Tightly Coupled Multirobot Tasks

Yu Zhang, Lynne E. Parker

Citations: 46 • 2012

Automatic synthesis of new behaviors from a library of available behaviors

Giuseppe De Giacomo, Sebastian Sardiña

Citations: 43 • 2007

SMC

Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Citations: 42 • 2017

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Citations: 42 • 2016

Satisfiability Checking for Mission-Time LTL

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

Citations: 37 • 2019

Scalable lazy SMT-based motion planning

Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Citations: 32 • 2016

Wire Routing and Satisfiability Planning

Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong

Citations: 23 • 2000

Conditional Behavior Trees: Definition, Executability, and Applications

Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella

Citations: 21 • 2019

Motion planning with Satisfiability Modulo Theories

William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao

Citations: 16 • 2014

Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction

Jesse Jiang, Ye Zhao, Samuel Coogan

Citations: 16 • 2022

Optimal Strategy Model Checking in Possibilistic Decision Processes

Wuniu Liu, Yongming Li

Citations: 15 • 2023

Ricochet Robots: A Transverse ASP Benchmark

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Citations: 15 • 2013

A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints

Frank Imeson, Stephen L. Smith

Citations: 14 • 2014

Modelling and verification of reconfigurable multi-agent systems

Yehia Abd Alrahman, Nir Piterman

Citations: 13 • 2021