Finite State Control of POMDPs with LTL Specifications

被引：0
|
作者：
Sharan, Rangoli
Burdick, Joel
机构：
来源：
2014 AMERICAN CONTROL CONFERENCE (ACC) | 2014年
关键词：
AVERAGE COST CRITERION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We consider the synthesis of control policies over partially observable Markov decision processes with linear temporal logic specifications. We limit the search of policies over finite state controllers of a fixed size which leads to a Markov chain with free parameters, over which the probability of satisfaction of the specification can be maximized.
引用
收藏
页码：501 / 508
页数：8
相关论文
共 50 条
  • [21] Efficient Scalable Verification of LTL Specifications
    Baresi, Luciano
    Kallehbasti, Mohammad Mehdi Pourhashem
    Rossi, Matteo
    2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 711 - 721
  • [22] Probabilistic Automata for Safety LTL Specifications
    Kini, Dileep
    Viswanathan, Mahesh
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 118 - 136
  • [23] LTL receding horizon control for finite deterministic systems
    Ding, Xuchu
    Lazar, Mircea
    Belta, Calin
    AUTOMATICA, 2014, 50 (02) : 399 - 408
  • [24] Safe Policy Improvement for POMDPs via Finite-State Controllers
    Simao, Thiago D.
    Suilen, Marnix
    Jansen, Nils
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 12, 2023, : 15109 - 15117
  • [25] Efficient Realizability Checking by Modularization of LTL Specifications
    Ito, Sohei
    Osari, Kenji
    Shimakawa, Masaya
    Hagihara, Shigeki
    Yonezaki, Naoki
    COMPUTER JOURNAL, 2022, 65 (10): : 2801 - 2814
  • [26] Robust Strategy Planning for UAV with LTL Specifications
    Ji, Xiaoting
    Niu, Yifeng
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2890 - 2895
  • [27] A Systematic Literature Review on Mining LTL Specifications
    Germiniani, Samuele
    Nicoletti, Daniele
    Pravadelli, Graziano
    IEEE ACCESS, 2025, 13 : 48950 - 48998
  • [28] On fault coverage of tests for finite state specifications
    Petrenko, A
    vonBochmann, G
    Yao, M
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 81 - 106
  • [29] Barrier Functions for Multiagent-POMDPs with DTL Specifications
    Ahmadi, Mohamadreza
    Singletary, Andrew
    Burdick, Joel W.
    Ames, Aaron D.
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 1380 - 1385
  • [30] Simulating Synthesized Automata from Decentralized Specifications in LTL
    Kwon, Ryoungkwo
    Kwon, Gihwon
    FRONTIER AND INNOVATION IN FUTURE COMPUTING AND COMMUNICATIONS, 2014, 301 : 431 - 437
12345