Probabilistic CTL

Sampling-based motion planning with deterministic μ-calculus specifications

Sertaç Karaman, Emilio Frazzoli

引用数: 176 • 2009

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

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

引用数: 148 • 2011

LTL-Based Planning in Environments With Probabilistic Observations

Marius Kloetzer, Cristian Mahulea

引用数: 45 • 2015

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Călin Belta

引用数: 31 • 2014

Provably-correct stochastic motion planning with safety constraints

Chanyeol Yoo, Robert Fitch, Salah Sukkarieh

引用数: 24 • 2013

Control of Markov decision processes from PCTL specifications

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

引用数: 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

引用数: 16 • 2012

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

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

引用数: 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

引用数: 13 • 2017

Learning based supervisor synthesis of POMDP for PCTL specifications

Xiaobin Zhang, Bo Wu, Hai Lin

引用数: 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

引用数: 12 • 2021

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning

Bo Wu, Hai Lin

引用数: 11 • 2015

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

Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani

引用数: 10 • 2021

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

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

引用数: 9 • 2016

Probabilistic Hyperproperties with Rewards

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

引用数: 6 • 2022

A stochastically verifiable decision making framework for autonomous ground vehicles

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

引用数: 4 • 2018

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

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

引用数: 4 • 2011

Multi-agent Verification and Control with Probabilistic Model Checking

David Parker

引用数: 3 • 2023

Fault measure of discrete event systems using probabilistic timed automata

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

引用数: 3 • 2011

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

引用数: 3 • 2021