✦ LIBER ✦

Efficient emptiness check for timed Büchi automata

✍ Scribed by Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded Model Checking with SNF, Alterna

✍ Daniel Sheridan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Complementing deterministic Büchi automa

✍ R.P. Kurshan 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 768 KB

Simulation relations for alternating Büc

✍ Carsten Fritz; Thomas Wilke 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 431 KB

Büchi automata for modeling component co

✍ Mohammad Izadi; Marcello Bonsangue; Dave Clarke 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 893 KB

Simple and Efficient Translation from LT

✍ Xavier Thirioux 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 183 KB

Tool support for learning Büchi automata

✍ Yih-Kuen Tsay; Yu-Fang Chen; Ming-Hsien Tsai; Kang-Nien Wu; Wen-Chin Chan; Chi-J 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 853 KB