Work

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-24953-7_10

Authors: Arnd Hartmanns, Holger Hermanns

Institution: Saarland University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1686216641

FWCI: 1.226

Cites: 28

Cited by: 21

Related to: