✦ LIBER ✦

A general approach to comparing infinite-state systems with their finite-state specifications

✍ Scribed by Antonín Kučera; Philippe Schnoebelen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalized Coherent States and Their Ap

✍ Perelomov, Askold 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 392 KB

State-inequalities approach to control s

✍ Swierniak, A. 📂 Article 📅 1982 🏛 The Institution of Electrical Engineers ⚖ 481 KB

The implicit set paradigm: A new approac

✍ O. Coudert; J. C. Madre 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 895 KB

[Lecture Notes in Mathematics] Equadiff

✍ Knobloch, H. W.; Schmitt, Klaus 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 509 KB

A new approach to state observation of n

✍ Germani, A.; Manes, C.; Pepe, P. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 209 KB

Algorithms for the inverse and a general

✍ Chao-Chih Yang; Houkuan Huang 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 694 KB