MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Details

Original languageEnglish
Pages (from-to)1-34
Number of pages34
JournalACM Transactions on Computational Logic : TOCL
Volume21
Issue number2
Publication statusPublished - 2020
Peer-reviewedYes

External IDs

Scopus 85077731101

Keywords

Library keywords