Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2017 | Published | Journal Article | IST-REx-ID: 467 | 
Nested weighted automata
Chatterjee, Krishnendu, Nested weighted automata. ACM Transactions on Computational Logic (TOCL) 18 (4). 2017
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Chatterjee, Krishnendu, Nested weighted automata. ACM Transactions on Computational Logic (TOCL) 18 (4). 2017
2017 | Published | Journal Article | IST-REx-ID: 471 |
Faster statistical model checking for unbounded temporal properties
Daca, Przemyslaw, Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic 18 (2). 2017
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
Daca, Przemyslaw, Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic 18 (2). 2017