Characterization and computation of infinite-horizon specifications over Markov processes
| Autor: | Tkachev, Ilya, Abate, Alessandro |
|---|---|
| Zdroj: | In Theoretical Computer Science 2 January 2014 515:1-18 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Tkachev, Ilya, Abate, Alessandro |
|---|---|
| Zdroj: | In Theoretical Computer Science 2 January 2014 515:1-18 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect