Closure certificates

DOI10.1016/J.NAHS.2025.101630MaRDI QIDQ6885127zbMATH OpenFDO

Authors Ashutosh Trivedi, Majid Zamani

Publication date 12 December 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicdiscrete-time dynamical systemsbarrier certificatestransition invariants

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55)

This page was built for publication: Closure certificates

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