✦ LIBER ✦

A simple algorithm for solving the coverability problem for monotonic counter systems

✍ Scribed by A. V. Klimov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Combinatorial Algorithm for Solving Co

✍ Tomescu, I. 📂 Article 📅 1973 🏛 IEEE 🌐 English ⚖ 599 KB

A descent algorithm for solving monotone

✍ M. J. Smith 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 452 KB

Algorithms for solving the conditional c

✍ Brian J. Lunday; J. Cole Smith; Jeffrey B. Goldberg 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB

A smoothing Newton algorithm for solving

✍ Dong, Li; Tang, Jingyong; Zhou, Jinchuan 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 577 KB

A monotonic passy-like algorithm for the

✍ Yves Smeers 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 449 KB

On a homogeneous algorithm for the monot

✍ Erling D. Andersen; Yinyu Ye 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 155 KB