Author:
Wirsing Martin,Banâtre Jean-Pierre,Hölzl Matthias,Rauschmayer Axel
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives;2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW);2022-07
3. Epistemic Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Verifying Temporal Properties of Stigmergic Collective Systems Using CADP;Lecture Notes in Computer Science;2021
5. Human-cyber-physical systems: concepts, challenges, and research opportunities;Frontiers of Information Technology & Electronic Engineering;2020-11