Characterization and computation of infinite-horizon specifications over Markov processes

I Tkachev, A Abate

Research output: Contribution to journal › Article › Scientific › peer-review

21 Citations (Scopus)

Original language	English
Pages (from-to)	1-18
Number of pages	18
Journal	Theoretical Computer Science
Volume	515
DOIs	https://doi.org/10.1016/j.tcs.2013.09.032
Publication status	Published - 2014

harvest

Keywords

@article{5a2ae241dd444402923123ad7154bee6,

title = "Characterization and computation of infinite-horizon specifications over Markov processes",

keywords = "CWTS 0.75 <= JFIS < 2.00",

author = "I Tkachev and A Abate",

note = "harvest",

year = "2014",

doi = "10.1016/j.tcs.2013.09.032",

language = "English",

volume = "515",

pages = "1--18",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}

TY - JOUR

T1 - Characterization and computation of infinite-horizon specifications over Markov processes

AU - Tkachev, I

AU - Abate, A

N1 - harvest

PY - 2014

Y1 - 2014

KW - CWTS 0.75 <= JFIS < 2.00

U2 - 10.1016/j.tcs.2013.09.032

DO - 10.1016/j.tcs.2013.09.032

M3 - Article

SN - 0304-3975

VL - 515

SP - 1

EP - 18

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -