✦ LIBER ✦

Automata for Epistemic Temporal Logic with Synchronous Communication

✍ Scribed by Swarup Mohalik; R. Ramanujam

Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 396 KB
Volume: 19
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9118-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dynamic epistemic logic with branching t

Dynamic epistemic logic with branching temporal structures

✍ Tomohiro Hoshi; Audrey Yap 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 442 KB

Timed tree automata with an application

Timed tree automata with an application to temporal logic

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 210 KB

Tool support for learning Büchi automata

Tool support for learning Büchi automata and linear temporal logic

✍ Yih-Kuen Tsay; Yu-Fang Chen; Ming-Hsien Tsai; Kang-Nien Wu; Wen-Chin Chan; Chi-J 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 853 KB

Tableau-based automata construction for

Tableau-based automata construction for dynamic linear time temporal logic*

✍ Laura Giordano; Alberto Martelli 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 450 KB

A Sat-Based Approach to Unbounded Model

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

Synchronization methods for communicatio

Synchronization methods for communication with chaos over band-limited channels

✍ Rulkov, Nikolai F.; Tsimring, Lev S. 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 206 KB

Methods of chaos synchronization applied to communication with chaotic signals over band-limited channels are studied numerically and experimentally. The "rst group of methods employs a "lter in the receiver which is designed to compensate channel distortions of the transmitted signal. The second ap