Boolean expression
相关论文数: 7
顶级研究者
最高引用论文
A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
Paul Glotfelter, Jorge Cortés, Magnus Egerstedt
引用数: 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
引用数: 10 • 2023
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
引用数: 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
引用数: 5 • 2013
A computationally efficient solution for path planning of mobile robots with boolean specifications
Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer
引用数: 3 • 2017
Decentralized Multi-Robot Mission Planning Using Evolutionary Computation
Sugandha Dumka, Smiti Maheshwari, Rahul Kala
引用数: 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
引用数: 2 • 2013