Probabilistic CTL

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

LTL-Based Planning in Environments With Probabilistic Observations

Marius Kloetzer, Cristian Mahulea

Citations: 45 • 2015

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Călin Belta

Citations: 31 • 2014

Provably-correct stochastic motion planning with safety constraints

Chanyeol Yoo, Robert Fitch, Salah Sukkarieh

Citations: 24 • 2013

Control of Markov decision processes from PCTL specifications

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

Citations: 24 • 2011

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

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

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

Citations: 13 • 2011

Probabilistic Real-Time Guarantees: There Is Life Beyond the i.i.d. Assumption (Outstanding Paper)

Bernardo Villalba Frías, Luigi Palopoli, Luca Abeni, Daniele Fontanelli

Citations: 13 • 2017

Learning based supervisor synthesis of POMDP for PCTL specifications

Xiaobin Zhang, Bo Wu, Hai Lin

Citations: 13 • 2015

9.4 PIU: A 248GOPS/W Stream-Based Processor for Irregular Probabilistic Inference Networks Using Precision-Scalable Posit Arithmetic in 28nm

Nimish Shah, Laura Isabel Galindez Olascoaga, Shirui Zhao, Wannes Meert, Marian Verhelst

Citations: 12 • 2021

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning

Bo Wu, Hai Lin

Citations: 11 • 2015

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications

Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani

Citations: 10 • 2021

Probabilistic CTL $$^{*}$$ : The Deductive Way

Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar

Citations: 9 • 2016

Probabilistic Hyperproperties with Rewards

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Citations: 6 • 2022

A stochastically verifiable decision making framework for autonomous ground vehicles

Mohammed Al-Nuaimi, Hongyang Qu, Sándor M. Veres

Citations: 4 • 2018

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

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

Citations: 4 • 2011

Multi-agent Verification and Control with Probabilistic Model Checking

David Parker

Citations: 3 • 2023

Fault measure of discrete event systems using probabilistic timed automata

Yi‐Sheng Huang, Ho-Shan Chiang, MuDer Jeng

Citations: 3 • 2011

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

Citations: 3 • 2021