Boolean expression
Related papers: 7
Top Researchers
Top Cited Papers
A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
Paul Glotfelter, Jorge Cortés, Magnus Egerstedt
Citations: 38 • 2020
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
Citations: 10 • 2023
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
Citations: 5 • 2020
Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control
Lorenzo Garattoni, Andrea Roli, Matteo Amaducci, Carlo Pinciroli, Mauro Birattari
Citations: 5 • 2013
A computationally efficient solution for path planning of mobile robots with boolean specifications
Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer
Citations: 3 • 2017
Decentralized Multi-Robot Mission Planning Using Evolutionary Computation
Sugandha Dumka, Smiti Maheshwari, Rahul Kala
Citations: 3 • 2018
Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control
Lorenzo Garattoni, Andrea Roli, Matteo Amaducci, Carlo Pinciroli, Mauro Birattari
Citations: 2 • 2013