Boolean function
Related papers: 20
Top Researchers
Top Cited Papers
Genetic evolution of the topology and weight distribution of neural networks
Vittorio Maniezzo
Citations: 438 • 1994
Nonsmooth Barrier Functions With Applications to Multi-Robot Systems
Paul Glotfelter, Jorge Cortés, Magnus Egerstedt
Citations: 303 • 2017
Hierarchical genetic algorithms operating on populations of computer programs
John R. Koza
Citations: 294 • 1989
On the Design of Boolean Network Robots
Andrea Roli, Mattia Manfroni, Carlo Pinciroli, Mauro Birattari
Citations: 66 • 2011
Robot Planning Based on Boolean Specifications Using Petri Net Models
Cristian Mahulea, Marius Kloetzer
Citations: 50 • 2017
Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing
Weijie Shi, Zhou He, Wei Tang, Weifeng Liu, Ziyue Ma
Citations: 42 • 2022
SMC
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Citations: 42 • 2017
A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
Paul Glotfelter, Jorge Cortés, Magnus Egerstedt
Citations: 38 • 2020
An evolutionary robot navigation system using a gate-level evolvable hardware
Didier Keymeulen, Marc Durantez, Kenji Konaka, Yasuo Kuniyoshi, Tetsuya Higuchi
Citations: 27 • 1997
A general algorithms for 3-D shape interpolation in a facet-based representation
Tuan Hong, Nadia Magnenat‐Thalmann, Daniel Thalmann
Citations: 20 • 1989
Interpolants in Nonlinear Theories Over the Reals
Sicun Gao, Damien Zufferey
Citations: 17 • 2016
On the Criticality of Adaptive Boolean Network Robots
Michele Braccini, Andrea Roli, Edoardo Barbieri, Stuart Kauffman
Citations: 16 • 2022
Planning mobile robots with Boolean-based specifications
Cristian Mahulea, Marius Kloetzer
Citations: 12 • 2014
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
Fredkin and Toffoli Gates Implemented in Oregonator Model of Belousov–Zhabotinsky Medium
Citations: 10 • 2017
BHT-QAOA: The Generalization of Quantum Approximate Optimization Algorithm to Solve Arbitrary Boolean Problems as Hamiltonians
Ali Al-Bayaty, Marek Perkowski
Citations: 6 • 2024
HPC-based parallel software for solving applied Boolean satisfiability problems
V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин
Citations: 5 • 2020
On Synthesis and Verification from Event Diagrams in a Robot Theatre Application
Marek Perkowski, Aditya Bhutada, Mathias Sunardi
Citations: 5 • 2013
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
Symbolic model checking in practice
Sérgio Campos
Citations: 4 • 2003