Linear dynamical systems with continuous weight functions

DOI10.1145/3641513.3650173MaRDI QIDQ6993489zbMATH OpenFDO

Authors Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer

Publication date 25 April 2025

zbMATH Keywords

mean payofflinear dynamical systemstotal rewarddiscounted reward

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: Linear dynamical systems with continuous weight functions

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