✦ LIBER ✦

Systems of agents controlled by logical programs: Complexity of verification

✍ Scribed by M. K. Valiev; M. I. Dekhtyar; A. Ya. Dikovsky

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design verification of digital systems b

✍ Yoheved Dotan; Benjamin Arazi 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Modelling and verification of program lo

✍ Wang, R.; Song, X.; Gu, M. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 186 KB

Automatic verification of sequential con

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB

Compositional Verification of Multi-Agen

✍ Joeri Engelfriet; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 202 KB

Rapid Prototyping of Large Multi-Agent S

✍ W. Vasconcelos; D. Robertson; C. Sierra; M. Esteva; J. Sabater; M. Wooldridge 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 494 KB

Sheaves and Geometric Logic and Applicat

✍ Viorica Sofronie-Stokkermans 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 507 KB