Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
- Lei Song,
- Lijun Zhang,
- Max Planck Institute for Informatics,
Publikation:
Artikel i tidsskrift og konference artikel i tidsskrift
Konferenceartikel
Forskning
Peer-review
Open Access
Publikation information
Produktionstype
Publikation:
Artikel i tidsskrift og konference artikel i tidsskrift
Konferenceartikel
Forskning
Peer-reviewOriginalsprog
EngelskSider fra-til (Antal sider)
Sider 98-117Tidsskrift (Bind, Nummer)
Lecture Notes in Computer Science (Bind 8318)Publikationsmilepæle
- Udgivet - 2014
Publikationsstatus
Udgivet - 2014
ISSN
0302-9743Publication IDs
- Scopus: 84893341585
Metrikker
PlumX, åbner i en ny fane
Hentninger
3