Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 82 von 6668
|
|
| Link zu diesem Datensatz | https://d-nb.info/1372134638 |
| Titel | Learning Algorithms for Verification of Markov Decision Processes / Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma ; Masaryk University, Brno, Czech Republic; IST Austria, Klosterneuburg, Austria; Google LLC, Zurich, Switzerland |
| Person(en) |
Brázdil, Tomáš (Verfasser) Chatterjee, Krishnendu (Verfasser) Chmelik, Martin (Verfasser) Forejt, Vojtěch (Verfasser) Křetínský, Jan (Verfasser) Kwiatkowska, Marta (Verfasser) Meggendorfer, Tobias (Verfasser) Parker, David (Verfasser) Ujma, Mateusz (Verfasser) |
| Organisation(en) |
Masaryk University, Brno, Czech Republic IST Austria, Klosterneuburg, Austria Google LLC, Zurich, Switzerland |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2507221630325.045411799845 DOI: 10.46298/theoretics.25.10 |
| URL | https://theoretics.episciences.org/14694 (Verlag) (kostenfrei zugänglich) |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Beziehungen | Enthalten in: TheoretiCS (Bd. 4, 2025) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 82 von 6668
Administration
