✦ LIBER ✦

A quadratic-time DBM-based successor algorithm for checking timed automata

✍ Scribed by Jianhua Zhao; Xuandong Li; Guoliang Zheng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A quadratic-time algorithm for smoothing

✍ V. Kreinovich; Karen Villaverde 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 677 KB

A refinement-based process algebra for t

✍ Stefano Cattani; Marta Kwiatkowska 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 283 KB

A quadratic time 2-approximation algorit

✍ Wolfgang W. Bein; Lawrence L. Larmore; Linda Morales; I. Hal Sudborough 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 596 KB

A quasi quadratic time algorithm for hyp

✍ Reynald Lercier; David Lubicz 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 566 KB

A pre-run-time scheduling algorithm for

✍ I Santhoshkumar; G Manimaran; C Siva Ram Murthy 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 600 KB

Observer agreement for timed-event seque

✍ Roger Bakeman; Vicenç Quera; Augusto Gnisci 📂 Article 📅 2009 🏛 Psychonomic Society Publications 🌐 English ⚖ 211 KB