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