✦ LIBER ✦

Rigorous approximated determinization of weighted automata

✍ Scribed by Aminof, Benjamin; Kupferman, Orna; Lampert, Robby

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

An Approximate Determinization Algorithm

✍ A. L. Buchsbaum; R. Giancarlo; J. R. Westbrook 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 332 KB

An improved algorithm for determinizatio

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

Determinization of ordinal automata

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

Determinization of logical specification

✍ A. N. Chebotarev 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 556 KB

Folk theorems on the determinization and

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