Satisfiability

Algorithms for the satisfiability (SAT) problem: A survey

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

引用数: 287 • 1997

Formal verification of neural network controlled autonomous systems

Xiaowu Sun, Haitham Khedr, Yasser Shoukry

引用数: 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

引用数: 62 • 2014

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

Jacopo Banfi, Nicola Basilico, Francesco Amigoni

引用数: 62 • 2017

SMC: Satisfiability Modulo Convex Programming

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

引用数: 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

引用数: 48 • 2017

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

Yu Zhang, Lynne E. Parker

引用数: 46 • 2012

Automatic synthesis of new behaviors from a library of available behaviors

Giuseppe De Giacomo, Sebastian Sardiña

引用数: 43 • 2007

SMC

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

引用数: 42 • 2017

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

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

引用数: 42 • 2016

Satisfiability Checking for Mission-Time LTL

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

引用数: 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

引用数: 32 • 2016

Wire Routing and Satisfiability Planning

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

引用数: 23 • 2000

Conditional Behavior Trees: Definition, Executability, and Applications

Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella

引用数: 21 • 2019

Motion planning with Satisfiability Modulo Theories

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

引用数: 16 • 2014

Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction

Jesse Jiang, Ye Zhao, Samuel Coogan

引用数: 16 • 2022

Optimal Strategy Model Checking in Possibilistic Decision Processes

Wuniu Liu, Yongming Li

引用数: 15 • 2023

Ricochet Robots: A Transverse ASP Benchmark

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

引用数: 15 • 2013

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

Frank Imeson, Stephen L. Smith

引用数: 14 • 2014

Modelling and verification of reconfigurable multi-agent systems

Yehia Abd Alrahman, Nir Piterman

引用数: 13 • 2021