Zobrazeno 1 - 10
of 130
pro vyhledávání: '"Ernst-Rüdiger Olderog"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 260, Iss Proc. SYNT 2017, Pp 23-43 (2017)
Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic approach decides the existence of a winning strategy via a reduction
Externí odkaz:
https://doaj.org/article/99022c55524a485382cf41b30f108536
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 161, Iss Proc. GandALF 2014, Pp 217-230 (2014)
We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when
Externí odkaz:
https://doaj.org/article/ee807b5d83be42da895b352f8d5daea5
Publikováno v:
Edsger Wybe Dijkstra ISBN: 9781450397735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c4fc62da60ff69623ad01f009401025
https://ir.cwi.nl/pub/32646
https://ir.cwi.nl/pub/32646
Publikováno v:
it - Information Technology. 63:249-251
This special issue presents seven overview articles on research conducted in the Research Training Group “System Correctness under Adverse Conditions” (SCARE) at the University of Oldenburg.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a22663d202aa4bee63d085d8ec0b70b
https://doi.org/10.1515/itit-2021-0043
https://doi.org/10.1515/itit-2021-0043
Publikováno v:
Acta Informatica. 57:591-626
The manual implementation of local controllers for autonomous agents in a distributed and concurrent setting is an ambitious and error-prune task. Synthesis algorithms, however, allow for the automatic generation of such controllers given a formal sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1a7578684a572372c2237fb6946bd0d
https://doi.org/10.1007/s00236-020-00368-5
https://doi.org/10.1007/s00236-020-00368-5
Autor:
Paul Hannibal, Ernst-Rüdiger Olderog
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031066528
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75173068b94a388666bb13e3f5e30e7f
https://doi.org/10.1007/978-3-031-06653-5_13
https://doi.org/10.1007/978-3-031-06653-5_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031177149
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e931557285d1c3043071b3e0cc393d06
https://doi.org/10.1007/978-3-031-17715-6_9
https://doi.org/10.1007/978-3-031-17715-6_9
Publikováno v:
Theories of Programming ISBN: 9781450387286
Theories of Programming
Theories of Programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c53b94ccf106b24a61ce42389ccb591
https://doi.org/10.1145/3477355.3477359
https://doi.org/10.1145/3477355.3477359
Publikováno v:
Model Checking, Synthesis, and Learning ISBN: 9783030913830
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6afb13091937cca6fdd5a5319e5f37a
https://doi.org/10.1007/978-3-030-91384-7_1
https://doi.org/10.1007/978-3-030-91384-7_1
Publikováno v:
Model Checking, Synthesis, and Learning ISBN: 9783030913830
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::847b96982fbb8e5c4bf1ac5d4db5ec6a
https://doi.org/10.1007/978-3-030-91384-7_7
https://doi.org/10.1007/978-3-030-91384-7_7