Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

被引：0

作者：

机构：

来源：

NASA Conference Publication | 1991年 / 3103 pt 2期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
Martiny, Karsten
Moeller, Ralf
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2016, 57 : 39 - 112
[22] AUTOMATA FOR MODELING REAL-TIME SYSTEMS
ALUR, R
DILL, D
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 443 : 322 - 335
[23] A stepwise development process for reasoning about the reliability of real-time systems
Meinicke, Larissa
Smith, Graeme
INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 439 - 458
[24] An interval logic for real-time system specification
Mattolini, R
Nesi, P
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
[25] SUITABILITY OF THE PROPOSITIONAL TEMPORAL LOGIC TO EXPRESS PROPERTIES OF REAL-TIME SYSTEMS
NASSOR, E
VIDALNAQUET, G
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 577 : 59 - 70
[26] Explicit clock temporal logic in constraint checking for real-time systems
1600, Publ by Pergamon Press Inc, Tarrytown, NY, USA (16):
[27] A REAL-TIME HYBRID METHOD FOR PEOPLE COUNTING SYSTEM IN A MULTI-STATE ENVIRONMENT
Rezaee, Ali
Bagherzadeh, Hojjat
Abrishami, Vahid
Abrishami, Hamid
ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 119 - 126
[28] Deriving parameter conditions for periodic timed automata satisfying real-time temporal logic formulas
Nakata, A
Higashino, T
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 151 - 166
[29] A transaction scheduling algorithm with temporal constraints in real-time database systems
Han, JJ
Li, QH
FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 940 - 945
[30] REASONING ABOUT THE FUNCTION AND TIMING OF INTEGRATED-CIRCUITS WITH INTERVAL TEMPORAL LOGIC
LEESER, ME
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (12) : 1233 - 1246

← 1 2 3 4 5 →