Work

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Year: 2024

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-75778-5_7

Authors: Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen

Institutions: Radboud University Nijmegen, University of Oxford, Ruhr University Bochum

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Awards: G1241064458, G2039356335, G434337789, PrimaVera: Predictive maintenance for Very effective asset management, G578781017, Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes

OpenAlex ID: W4404448300

FWCI: 4.598

Cites: 100

Cited by: 7

Related to: 10