Work

Multi-agent Verification and Control with Probabilistic Model Checking

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-43835-6_1

Author: David Parker

Institution: University of Oxford

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Awards: G434337789, G578781017

OpenAlex ID: W4386746674

FWCI: 1.314

Cites: 22

Cited by: 3

Related to: 10