Probabilistic analysis of algorithms

Analysis of probabilistic roadmaps for path planning

Lydia E. Kavraki, Mihail N. Kolountzakis, J.-C. Latombe

Citations: 417 • 2002

Analysis of probabilistic roadmaps for path planning

Lydia E. Kavraki, Mihail N. Kolountzakis, J.-C. Latombe

Citations: 378 • 1998

Sampling-based motion planning with deterministic μ-calculus specifications

Sertaç Karaman, Emilio Frazzoli

Citations: 176 • 2009

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

Morteza Lahijanian, Sean B. Andersson, Călin Belta

Citations: 148 • 2011

Deterministic Sampling-Based Motion Planning: Optimality, Complexity, and Performance

Lucas Janson, Brian Ichter, Marco Pavone

Citations: 60 • 2017

A hybrid approach to dialogue management based on probabilistic rules

Pierre Lison

Citations: 57 • 2015

Dynamic neural network method-based improved PSO and BR algorithms for transient probabilistic analysis of flexible mechanism

Lu-Kai Song, Cheng‐Wei Fei, Guang-Chen Bai, YU Lin-chong

Citations: 55 • 2017

LTL-Based Planning in Environments With Probabilistic Observations

Marius Kloetzer, Cristian Mahulea

Citations: 45 • 2015

Robust Distributed Coverage using a Swarm of Miniature Robots

Nikolaus Correll, Alcherio Martinoli

Citations: 37 • 2007

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Călin Belta

Citations: 31 • 2014

Robotic systems probabilistic analysis

B.S. Dhillon, A.R.M. Fashandi

Citations: 25 • 1997

Provably-correct stochastic motion planning with safety constraints

Chanyeol Yoo, Robert Fitch, Salah Sukkarieh

Citations: 24 • 2013

Structure-Guided Protein Transition Modeling with a Probabilistic Roadmap Algorithm

Tatiana Maximova, Erion Plaku, Amarda Shehu

Citations: 24 • 2016

Control of Markov decision processes from PCTL specifications

Morteza Lahijanian, Sean B. Andersson, Călin Belta

Citations: 24 • 2011

A Comparative Study of Deterministic and Probabilistic Mobile Robot Path Planning Algorithms

Esmaeel Khanmirza, Morteza Haghbeigi, Milad Nazarahari, Samira Doostie

Citations: 20 • 2017

Smoothed analysis of probabilistic roadmaps

Siddhartha Chaudhuri, Vladlen Koltun

Citations: 19 • 2009

Reliability design optimisation for practical applications based on modelling processes

Yuo-Tern Tsai, Kuan-Hong Lin, Yung-Yuan Hsu

Citations: 17 • 2013

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents

Tichakorn Wongpiromsarn, Alphan Ulusoy, Călin Belta, Emilio Frazzoli, Daniela Rus

Citations: 16 • 2012

Computing transition paths in multiple-basin proteins with a probabilistic roadmap algorithm guided by structure data

Tatiana Maximova, Erion Plaku, Amarda Shehu

Citations: 13 • 2015

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

Angel Ayala, Sean B. Andersson, Călin Belta

Citations: 13 • 2011