✦ LIBER ✦

Determinization of logical specifications of automata

✍ Scribed by A. N. Chebotarev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Determinization of ordinal automata

✍ An. A. Muchnik 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 416 KB

Rigorous approximated determinization of

✍ Aminof, Benjamin; Kupferman, Orna; Lampert, Robby 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 522 KB

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

Using the Compatibility Analysis of Logi

✍ A. N. Chebotarev 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 118 KB

An improved algorithm for determinizatio

✍ Zorana Jančić; Jelena Ignjatović; Miroslav Ćirić 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Folk theorems on the determinization and

✍ Stavros Tripakis 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 96 KB