✦ LIBER ✦

Folk theorems on the determinization and minimization of timed automata

✍ Scribed by Stavros Tripakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Determinization of Weighted Finit

✍ Buchsbaum, Adam L.; Giancarlo, Raffaele; Westbrook, Jeffery R. 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 373 KB

Timed Petri nets and timed automata: On

✍ Patricia Bouyer; Serge Haddad; Pierre-Alain Reynier 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 931 KB

On the complexity of minimizing probabil

✍ Paulo Mateus; Daowen Qiu; Lvzhou Li 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 295 KB

A theorem on the minimization of a conde

✍ V.M Sehgal; S.P Singh 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 348 KB

On the Equivalence of Minimal Time and M

✍ Wang, Gengsheng; Zuazua, Enrique 📂 Article 📅 2012 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 255 KB

The boundary behavior of minimal surface

✍ Johannes C. C. Nitsche 📂 Article 📅 1969 🏛 Springer-Verlag 🌐 English ⚖ 854 KB