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