Characterization and computation of infinite-horizon specifications over Markov processes

I Tkachev, A Abate

Research output: Contribution to journalArticleScientificpeer-review

14 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-18
Number of pages18
JournalTheoretical Computer Science
Volume515
DOIs
Publication statusPublished - 2014

Keywords

  • CWTS 0.75 <= JFIS < 2.00

Cite this