Work

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Year: 2020

Type: book

Source: Radboud Repository (Radboud University)

DOI: 10.24963/ijcai.2020/570

Authors: Carr, S., Jansen, Nils, Topcu, U.

Institutions: The University of Texas at Austin, Radboud University Nijmegen

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3034246012

FWCI: 4.005

Cites: 26

Cited by: 28

Related to: 10