Work

Data-Driven Reachability Analysis for Gaussian Process State Space Models

Year: 2023

Type: conference-paper

Source: IEEE Conference on Decision and Control (CDC)

DOI: 10.1109/cdc49753.2023.10383270

Authors: Paul Griffioen, Murat Arcak

Institution: 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: closed

Funder: National Science Foundation

Award: Collaborative Research: CPS: Frontier: Computation-Aware Algorithmic Design for Cyber-Physical Systems

OpenAlex ID: W4391020373

FWCI: 0.414

Cites: 27

Cited by: 1

Related to: 10