✦ LIBER ✦

Parameterized Verification of Linear Networks using Automata as Invariants

✍ Scribed by A. Prasad Sistla; Viktor Gyuris

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Use of Linear Filtering as a Paramet

✍ Shapiro, Ralph 📂 Article 📅 1971 🏛 American Meteorological Society 🌐 English ⚖ 676 KB

Robust detection and verification of lin

✍ Frank Kose; Jan Budczies; Matthias Holschneider; Oliver Fiehn 📂 Article 📅 2007 🏛 BioMed Central 🌐 English ⚖ 384 KB

Toward Using the Network as a Switch: On

✍ Karger, D.; Medard, M. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 322 KB

[IEEE 2013 International Joint Conferenc

✍ Jami'in, Mohammad Abu; Sutrisno, Imam; Hu, Jinglu 📂 Article 📅 2013 🏛 IEEE ⚖ 160 KB

Advantages of Artificial Neural Networks

✍ Jacques Bourquin; Heinz Schmidli; Peter van Hoogevest; Hans Leuenberger 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 573 KB