Binary decision diagram

Verus

Sérgio Campos, E. M. Clarke, W. Marrero, Marius Minea

引用数: 46 • 1995

Estimation of human upper body orientation for mobile robotics using an SVM decision tree on monocular images

Christoph Weinrich, Christian Vollmer, Horst–Michael Groß

引用数: 42 • 2012

A quantitative approach to the formal verification of real-time systems

Sérgio Campos, Edmund M. Clarke

引用数: 31 • 1996

Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets

Bo Huang, MengChu Zhou

引用数: 29 • 2022

3DHacker: Spectrum-based Decision Boundary Generation for Hard-label 3D Point Cloud Attack

Yunbo Tao, Daizong Liu, Pan Zhou, Yulai Xie, Wei Du, Wei Hu

引用数: 18 • 2023

Analysis and verification of real-time systems using quantitative symbolic algorithms

S x E rgio Vale Aguiar Campos, Edmund M. Clarke

引用数: 18 • 1999

An execution control system for autonomous robots

Félix Ingrand, Frédéric Py

引用数: 18 • 2003

Probabilistic Resilience of Dynamic Multi-Robot Systems

Remy Wehbe, Ryan K. Williams

引用数: 12 • 2021

Planning mobile robots with Boolean-based specifications

Cristian Mahulea, Marius Kloetzer

引用数: 12 • 2014

Classification of Time-Series Data Using Boosted Decision Trees

Erfan Aasi, Cristian-Ioan Vasile, Mahroo Bahreinian, Călin Belta

引用数: 11 • 2022

Towards Stochastic Fault-Tolerant Control Using Precision Learning and Active Inference

Mohamed Baioumy, Corrado Pezzato, Carlos Hernández, Nick Hawes, Riccardo Ferrari

引用数: 9 • 2021

Intention Estimation Using Set of Reference Trajectories as Behaviour Model

Naveed Muhammad, Björn Åstrand

引用数: 9 • 2018

Efficient bdd-based planning for non-deterministic, fault-tolerant, and adversarial domains

Rune Møller Jensen, Manuela Veloso, Randal E. Bryant

引用数: 8 • 2003

Motion planning using binary space partitioning

Alade Tokuta

引用数: 6 • 2002

Probabilistic Graph Security for Networked Multi-Robot Systems

Remy Wehbe, Ryan K. Williams

引用数: 6 • 2018

Approximate Probabilistic Security for Networked Multi-Robot Systems

Remy Wehbe, Ryan K. Williams

引用数: 5 • 2019

Parallel algorithms for robot path planning with simpler VLSI architecture

Michael Arock, R. Ponalagusamy

引用数: 4 • 2006

Sequential fault diagnosis for mechatronics system using diagnostic hybrid bond graph and composite harmony search

Ming Yu, Juan Xu

引用数: 4 • 2015

Symbolic model checking in practice

Sérgio Campos

引用数: 4 • 2003

Binary State Reliability Computation for a Complex System Based on Extended Bernoulli Trials: Multiple Autonomous Robots

Hamed Fazlollahtabar, Seyed Taghi Akhavan Niaki

引用数: 4 • 2017