OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains

被引:0
|
作者
Jensen, Rune M. [1 ]
Veloso, Manuela M. [1 ]
机构
[1] Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213-3891, United States
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:189 / 226
相关论文
共 50 条
  • [21] Further research on observation reduction in non-deterministic planning
    Rao, Dong-Ning
    Jiang, Zhi-Hua
    Jiang, Yun-Fei
    Zhu, Hui-Quan
    Ruan Jian Xue Bao/Journal of Software, 2009, 20 (05): : 1254 - 1268
  • [22] Risk analysis for non-deterministic mission planning and sequencing
    Cheung, Kar-Ming
    Ko, Adans
    Dang, Van
    Heckman, David
    2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 147 - 158
  • [23] Compiling Uncertainty Away in Non-Deterministic Conformant Planning
    Albore, Alexandre
    Palacios, Hector
    Geffner, Hector
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 465 - 470
  • [24] Formal verification of neural agents in non-deterministic environments
    Michael E. Akintunde
    Elena Botoeva
    Panagiotis Kouvaros
    Alessio Lomuscio
    Autonomous Agents and Multi-Agent Systems, 2022, 36
  • [25] Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
    Bonet, Blai
    De Giacomo, Giuseppe
    Geffner, Hector
    Rubin, Sasha
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 873 - 879
  • [26] Planning with non-deterministic events for enhanced robot autonomy
    Perret, J
    Alami, R
    ROBOTICS AND AUTONOMOUS SYSTEMS, 1996, 18 (03) : 311 - 317
  • [27] Small Universal Non-deterministic Petri Nets with Inhibitor Arcs
    Ivanov, Sergiu
    Pelz, Elisabeth
    Verlan, Sergey
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 186 - 197
  • [28] Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
    D'Ippolito, Nicolas
    Rodriguez, Natalia
    Sardina, Sebastian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 61 : 593 - 621
  • [30] Quantum Computing: Non-deterministic controllers for Artificial Intelligent Agents
    Bannikov, Alexander
    Egerton, Simon
    Callaghan, Vic
    David Johnson, Brian
    Shaukat, Muneeb
    WORKSHOP PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS, 2010, 8 : 109 - 118