𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modelling and Verification using Linear Hybrid Automata -- a Case Study

✍ Scribed by Müller, Olaf; Stauner, Thomas

Book ID
127336462
Publisher
Taylor and Francis Group
Year
2000
Tongue
English
Weight
214 KB
Volume
6
Category
Article
ISSN
1387-3954

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verification—a case study
✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp