Work

Finite-State Controllers of POMDPs using Parameter Synthesis

Year: 2018

Type: conference-paper

Source: RWTH Publications (RWTH Aachen)

Authors: Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

Institutions: RWTH Aachen University, Radboud University Nijmegen, University of Freiburg

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2809011908

FWCI: 8.022

Cites: 29

Cited by: 44

Related to: 20