Multi-agent verification and control with probabilistic model checking

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: David Parker

Journal title: In . Lecture Notes in Computer Science. Springer.

Journal publisher: Spinger

Published year: 2023

Published pages: https://www.qest.org/qest2023/

DOI identifier: 10.48550/arxiv.2308.02829