Sparse intersection checking for sparse polynomial zonotopes

DOI10.1145/3716863.3718029MaRDI QIDQ6904639zbMATH OpenFDO

Authors Yusheng Huang, Yi-Fan Sun, Stanley Bak

Publication date 7 November 2025

zbMATH Keywords

reachability analysisformal verificationpolynomial zonotopes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: Sparse intersection checking for sparse polynomial zonotopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904639)