Model Checking for Probabilistic Multiagent Systems
Fu, Chen ; Turrini, Andrea ; Huang, Xiaowei ; Song, Lei ; Feng, Yuan ; Zhang, Li-Jun
- Link zu diesem Datensatz
- https://d-nb.info/1321239394
- Titel
- Model Checking for Probabilistic Multiagent Systems
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Li-Jun Zhang
- Autor(en)
-
- Fu, Chen
- Turrini, Andrea
- Huang, Xiaowei
- Song, Lei
- Feng, Yuan
- Zhang, Li-Jun
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2023
- Umfang/Format
- 1 Online-Ressource.
- DOI
- 10.1007/s11390-022-1218-6
- Online
- https://doi.org/10.1007/s11390-022-1218-6
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Computer science.
- (lcsh)Software engineering.
- (lcsh)Data structures (Computer science).
- (lcsh)Information theory.
- (lcsh)Artificial intelligence.
- (lcsh)Application software.
- Computer Science.
- Software Engineering.
- Theory of Computation.
- Data Structures and Information Theory.
- Artificial Intelligence.
- Computer and Information Systems Applications.
- Frühere/spätere Titel
-
- Enthalten in: Journal of computer science and technology
- Enthalten in: Journal of computer science and technology
- Enthalten in: Journal of computer science and technology
- Stand
- 22.02.2024 02:33
- Im Katalog seit
- 07.03.2026