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 条
  • [41] Provably-Correct Robot Control with LTLMoP, OMPL and ROS
    Wong, Kai Weng
    Finucane, Cameron
    Kress-Gazit, Hadas
    2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 2073 - 2073
  • [42] Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm
    Paleri, VK
    Srikant, YN
    Shankar, P
    SCIENCE OF COMPUTER PROGRAMMING, 2003, 48 (01) : 1 - 20
  • [43] A Provably Correct and Robust Algorithm for Convolutive Nonnegative Matrix Factorization
    Degleris, Anthony
    Gillis, Nicolas
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2020, 68 (2499-2512) : 2499 - 2512
  • [44] Provably-Correct Fault Tolerant Control with Delayed Information
    Yang, Liren
    Ozay, Necmiye
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [45] A provably correct embedded verifier for the certification of safety critical software
    Cimatti, A
    Giunchiglia, F
    Pecchiari, P
    Pietra, B
    Profeta, J
    Romano, D
    Traverso, F
    Yu, B
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 202 - 213
  • [46] A provably correct compiler for efficient model checking of mobile processes
    Yang, P
    Dong, YF
    Ramakrishnan, CR
    Smolka, SA
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 113 - 127
  • [47] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
    Rose H. Abdul Rauf
    Ulrich Berger
    Anton Setzer
    Theory of Computing Systems, 2008, 43 : 298 - 321
  • [48] Provably correct runtime enforcement of non-interference properties
    Venkatakrishnan, V. N.
    Xu, Wei
    DuVarney, Daniel C.
    Sekar, R.
    INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2006, 4307 : 332 - +
  • [49] Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments
    Wongpiromsarn, Tichakorn
    Karaman, Sertac
    Frazzoli, Emilio
    2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 1168 - 1173
  • [50] Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications
    Coronato, Antonio
    De Pietro, Giuseppe
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (04) : 975 - 991
12345