Satisfiability modulo theories

Automated composition of motion primitives for multi-robot systems from safe LTL specifications

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia

Citations: 127 • 2014

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

SMC: Satisfiability Modulo Convex Programming

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

Citations: 49 • 2018

SMC

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

Citations: 42 • 2017

Satisfiability Checking for Mission-Time LTL

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

Citations: 37 • 2019

Task and Motion Policy Synthesis as Liveness Games

Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki

Citations: 24 • 2016

Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt

Citations: 22

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

Citations: 18 • 2018

Improving Reliability of Myocontrol Using Formal Verification

Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini

Citations: 15 • 2019

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

Citations: 10 • 2018

Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach

Pavel Surynek

Citations: 10 • 2019

Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment

Tanmoy Kundu, Indranil Saha

Citations: 8 • 2021

Satisfiability checking for Mission-time LTL (MLTL)

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

Citations: 6 • 2022

Non-monotonic spatial reasoning with answer set programming modulo theories

Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt

Citations: 6 • 2016

Formal Design of Robot Integrated Task and Motion Planning

Rafael Rodrigues da Silva, Bo Wu, Hai Lin

Citations: 4 • 2016

Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach

Pavel Surynek

Citations: 2 • 2020

Using incomplete satisfiability modulo theories to determine robotic tasks

Andreas Witsch, Hendrik Skubch, Stefan Niemczyk, Kurt Geihs

Citations: 2 • 2013

Combined top-down and bottom-up design of cooperative multi-robot systems.

Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin

Citations: 2 • 2016