Work

Quantitative model-checking of controlled discrete-time Markov processes

Year: 2016

Type: article

Source: Information and Computation

DOI: 10.1016/j.ic.2016.11.006

Authors: Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate

Institutions: Delft University of Technology, University of Oxford, RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: European Commission, Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Awards: A Novel Mathematical Framework for the Modelling and the Analysis of Transportation Networks (MANTRAS), G2239262614, G2599789822, G2776021349, Advanced Methods in Building Diagnostics and Maintenance, G4891973958, Modeling, verification and control of complex systems: From foundations to power network applications, G5941350101

OpenAlex ID: W171230936

FWCI: 3.068

Cites: 57

Cited by: 30

Related to: 10