Work

Verification of Indefinite-Horizon POMDPs

Year: 2020

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-59152-6_16

Authors: Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Institutions: RWTH Aachen University, University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Deutsche Forschungsgemeinschaft, Defense Advanced Research Projects Agency

Awards: CPS: Breakthrough: Control Improvisation for Cyber-Physical Systems, G2302795432, CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems

OpenAlex ID: W3038647018

FWCI: 4.55

Cites: 35

Cited by: 23

Related to: 10