✦ LIBER ✦

An Automata-based Approach for CTL⋆ With Constraints

✍ Scribed by Régis Gascon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An automata-theoretic approach to constr

✍ Stéphane Demri; Deepak D’Souza 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 480 KB

An Automata Based Approach for Verifying

✍ Deepak D'Souza; K.R. Raghavendra; Barbara Sprick 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

An Eulerian, lattice-based cellular auto

✍ Martin C. Marinack Jr.; Jeremiah N. Mpagazehe; C. Fred Higgs III 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 704 KB

A multiobjective based approach for math

✍ Yaghoobi, M.A.; Pourkarimi, L.; Mashinchi, M. 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 258 KB

An angular constraints solving approach

✍ Zhi-Liang Shi; Li-Ping Chen 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 294 KB

Cellular Automata-Based Systematic Risk

✍ Xuewei Ji; Wenguo Weng; Weicheng Fan 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 593 KB