Provably correct theories of action

被引：0
|
作者：
Univ of Toronto, Toronto, Canada [1 ]
机构：
来源：
J Assoc Comput Mach | / 2卷 / 293-320期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computation theory
引用
收藏
相关论文
共 50 条
  • [31] Synthesis of Provably Correct Autonomy Protocols for Shared Control
    Cubuktepe, Murat
    Jansen, Nils
    Alshiekh, Mohammed
    Topcu, Ufuk
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (07) : 3251 - 3258
  • [32] A Control Architecture for Provably-Correct Autonomous Driving
    Aasi, Erfan
    Vasile, Cristian Ioan
    Belta, Calin
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 2913 - 2918
  • [33] Provably-Correct and Comfortable Adaptive Cruise Control
    Althoff, Matthias
    Maierhofer, Sebastian
    Pek, Christian
    IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2021, 6 (01): : 159 - 174
  • [34] Provably Correct Smart Contracts: An Approach using DeepSEA
    Britten, Daniel
    Sjoberg, Vilhelm
    Reeves, Steve
    COMPANION PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2022, 2022, : 5 - 6
  • [35] A Provably-Correct Micro-Dalvik Bytecode Verifier
    Jiang Nan
    He Yanxiang
    Zhang Xiaotong
    Liu Rui
    Shen Yunfei
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (09): : 193 - 210
  • [36] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C plus
    Rauf, Rose H. Abdul
    Berger, Ulrich
    Setzer, Anton
    THEORY OF COMPUTING SYSTEMS, 2008, 43 (3-4) : 298 - 321
  • [37] Provably correct reconstruction of surfaces from sparse noisy samples
    Stelldinger, Peer
    Tcherniavski, Leonid
    PATTERN RECOGNITION, 2009, 42 (08) : 1650 - 1659
  • [38] Provably Correct Design of Observations for Fault Detection with Privacy Preservation
    Xu, Zhe
    Saha, Sayan
    Julius, Agung
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [39] Provably Correct Optimization and Exploration with Non-linear Policies
    Feng, Fei
    Yin, Wotao
    Agarwal, Alekh
    Yang, Lin
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
  • [40] Nonconvex Structured Phase Retrieval A focus on provably correct approaches
    Vaswani, Namrata
    IEEE SIGNAL PROCESSING MAGAZINE, 2020, 37 (05) : 67 - 77
12345