Bisimulation
相关论文数: 14
顶级研究者
最高引用论文
Temporal logic motion planning for dynamic robots
Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas
引用数: 460 • 2008
Bisimulation Metrics for Continuous Markov Decision Processes
Norm Ferns, Prakash Panangaden, Doina Precup
引用数: 100 • 2011
Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
Hai Lin
引用数: 43 • 2014
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
Mireille E. Broucke
引用数: 41 • 1999
Optimal multi-robot path planning with temporal logic constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus
引用数: 33 • 2011
An embedding of ConGolog in 3APL
Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
引用数: 17 • 2000
DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation
Thomas Bolander, Lasse Dissing, Nicolai Herrmann
引用数: 15 • 2021
Hierarchical Hybrid Symbolic Robot Motion Planning and Control
Ali Karimoddini, Hai Lin
引用数: 15 • 2014
On the Relationship Between Bisimulation and Combinatorial Filter Reduction
Hazhar Rahmani, Jason M. O’Kane
引用数: 11 • 2018
Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems
Wei Ren, Dimos V. Dimarogonas
引用数: 10 • 2019
Hybrid symbolic control for robot motion planning
Ali Karimoddini, Hai Lin
引用数: 6 • 2013
An extended finitely recursive process model for discrete event systems
S. Bose, Siddhartha Mukhopadhyay
引用数: 5 • 1995
Fuzzy Automata as Coalgebras
Liu Ai, Shun Wang, Luís Soares Barbosa, Meng Sun
引用数: 3 • 2021
Optimal multi-robot path planning with Temporal Logic constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus
引用数: 2 • 2011