Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2001.03809
Cited By
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
AAAI Conference on Artificial Intelligence (AAAI), 2020
11 January 2020
Maxime Bouton
Jana Tumova
Mykel J. Kochenderfer
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes"
12 / 12 papers shown
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
Qi Heng Ho
Martin S. Feather
Federico Rossi
Zachary Sunberg
Morteza Lahijanian
169
2
0
05 Jun 2024
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
IEEE International Conference on Robotics and Automation (ICRA), 2023
Pian Yu
Shuyang Dong
Shili Sheng
Lu Feng
Marta Z. Kwiatkowska
188
7
0
02 Oct 2023
Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector
IEEE Robotics and Automation Letters (RA-L), 2023
Wataru Hatanaka
R. Yamashina
Takamitsu Matsubara
234
6
0
06 Sep 2023
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
IEEE Transactions on Automatic Control (TAC), 2023
K. C. Kalagarla
D. Kartik
Dongming Shen
R. Jain
A. Nayyar
Pierluigi Nuzzo
AI4CE
211
6
0
24 May 2023
Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments
Junchao Li
Mingyu Cai
Z. Kan
Shaoping Xiao
190
2
0
30 Apr 2023
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
IEEE International Conference on Robotics and Automation (ICRA), 2022
Qi Heng Ho
Zachary Sunberg
Morteza Lahijanian
348
4
0
18 Oct 2022
Safe RAN control: A Symbolic Reinforcement Learning Approach
Alexandros Nikou
A. Mujumdar
Vaishnavi Sundararajan
Marin Orlic
Aneta Vulgarakis Feljan
108
5
0
03 Jun 2021
Learning and Planning for Temporally Extended Tasks in Unknown Environments
IEEE International Conference on Robotics and Automation (ICRA), 2021
Christopher Bradley
Adam Pacheck
Gregory J. Stein
Sebastian Castro
H. Kress-Gazit
Nicholas Roy
113
22
0
21 Apr 2021
Symbolic Reinforcement Learning for Safe RAN Control
Adaptive Agents and Multi-Agent Systems (AAMAS), 2021
Alexandros Nikou
A. Mujumdar
Marin Orlic
Aneta Vulgarakis Feljan
96
10
0
11 Mar 2021
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Machine-mediated learning (ML), 2021
Sydney M. Katz
Kyle D. Julian
Christopher A. Strong
Mykel J. Kochenderfer
164
7
0
01 Mar 2021
Verification of indefinite-horizon POMDPs
Alexander Bork
Sebastian Junges
J. Katoen
Tim Quatmann
71
16
0
30 Jun 2020
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges
N. Jansen
Sanjit A. Seshia
305
29
0
30 Jun 2020
1
Page 1 of 1
