✦ LIBER ✦

Bounded model checking for knowledge and real time

✍ Scribed by Alessio Lomuscio; Wojciech Penczek; Bożena Woźna

Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 842 KB
Volume: 171
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2007.05.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Model Checking of F

Real-Time Systems || Model Checking of Finite-State Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Model checking expected time and expecte

Model checking expected time and expected reward formulae with random time bounds

✍ M. Kwiatkowska; G. Norman; A. Pacheco 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 738 KB

Representation of real knowledge for rea

Representation of real knowledge for real-time use

✍ W.H. Simmonds 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Sponsored by the IFAC Technical Committee on Computers, and with the co-sponsorship of the Committees on Manufacturing Technology and Applications, the International Federation for Automatic Control's first-ever Workshop on the Application of Artificial Intelligence to Real-Time Control was held in

New bounded real lemma for discrete-time

New bounded real lemma for discrete-time singular systems

✍ Gaomin Zhang; Yuanqing Xia; Peng Shi 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Design and checking of a large ADA real-

Design and checking of a large ADA real-time system

✍ Jean-Louis Théron 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 428 KB

The Strict Bounded Real Lemma for Linear

The Strict Bounded Real Lemma for Linear Time-Varying Systems

✍ Wanyi Chen; Fengsheng Tu 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 103 KB