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.
3 Publications
2017 |
Published |
Journal Article |
IST-REx-ID: 471 |
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic, vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 467 |
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic, vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2005 |
Published |
Journal Article |
IST-REx-ID: 4454
Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
View
| DOI
| arXiv