Modulo

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

引用数: 127 • 2014

A chaotic path planning generator based on logistic map and modulo tactics

Lazaros Moysis, Eleftherios Petavratzis, Christos Volos, Hector E. Nistazakis, Ioannis Stouboulos

引用数: 64 • 2019

Signatures versus histograms: Definitions, distances and algorithms

Francesc Serratosa, Alberto Sanfeliu

引用数: 54 • 2006

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

SMC

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

引用数: 42 • 2017

Parallel Gaussian elimination for Gröbner bases computations in finite fields

Jean‐Charles Faugère, Sylvain Lachartre

引用数: 30 • 2010

Analysis, Synchronization, and Robotic Application of a Modified Hyperjerk Chaotic System

Lazaros Moysis, Eleftherios Petavratzis, Muhammad Marwan, Christos Volos, Hector E. Nistazakis, Salman Ahmad

引用数: 28 • 2020

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

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

引用数: 25 • 2015

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

引用数: 22

Merging information in the entorhinal cortex: what can we learn from robotics experiments and modeling?

Philippe Gaussier, J.P. Banquet, Nicolas Cuperlier, Mathias Quoy, Lise Aubin, Pierre-Yves Jacob, Francesca Sargolini, Étienne Save, Jeffrey L. Krichmar, Bruno Poucet

引用数: 20 • 2019

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella

引用数: 20 • 2018

Computational Symbolic Geometry

Bernard Mourrain, N. Stolfi

引用数: 19 • 1995

Motion planning with Satisfiability Modulo Theories

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

引用数: 16 • 2014

Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs

Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis

引用数: 15 • 2012

A Chaotic Path Planning Method for 3D Area Coverage Using Modified Logistic Map and a Modulo Tactic

Lazaros Moysis, Eleftherios Petavratzis, Christos Volos, Hector E. Nistazakis, Ioannis Stouboulos, Kimon P. Valavanis

引用数: 12 • 2020

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

Pavel Surynek

引用数: 10 • 2019

Symbolic-numeric methods for solving polynomial equations and applications

Mohamed Elkadi, Bernard Mourrain

引用数: 9 • 2005

Expressive Optimal Temporal Planning via Optimization Modulo Theory

Stefan Panjkovic, Andrea Micheli

引用数: 7 • 2023

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajić, Michael M. Zavlanos

引用数: 6 • 2022