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

Citations: 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

Citations: 64 • 2019

Signatures versus histograms: Definitions, distances and algorithms

Francesc Serratosa, Alberto Sanfeliu

Citations: 54 • 2006

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

SMC

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

Citations: 42 • 2017

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

Jean‐Charles Faugère, Sylvain Lachartre

Citations: 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

Citations: 28 • 2020

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

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

Citations: 25 • 2015

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

Citations: 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

Citations: 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

Citations: 20 • 2018

Computational Symbolic Geometry

Bernard Mourrain, N. Stolfi

Citations: 19 • 1995

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

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

Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis

Citations: 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

Citations: 12 • 2020

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

Pavel Surynek

Citations: 10 • 2019

Symbolic-numeric methods for solving polynomial equations and applications

Mohamed Elkadi, Bernard Mourrain

Citations: 9 • 2005

Expressive Optimal Temporal Planning via Optimization Modulo Theory

Stefan Panjkovic, Andrea Micheli

Citations: 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

Citations: 6 • 2022