Loop reduction techniques for reachability analysis of linear hybrid automata

DOI10.1007/S11432-012-4726-0MaRDI QIDQ5046494zbMATH OpenOpenAlexFDO

Authors Minxue Pan, You Li, Lei Bu, Xuandong Li

Publication date 28 October 2022

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-012-4726-0

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Loop reduction techniques for reachability analysis of linear hybrid automata

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