Crossmark

Verifying hybrid automata networks guided by task scenarios

Published Online: 2026-02-25

Published Print: 2026-02

Authors

Lu, Longlong

Shi, Yufei

Pan, Minxue

Li, Xuandong
License Information

Text and Data Mining valid from 2026-02-01

Version of Record valid from 2026-02-01
More Information

Article History

Received: 7 June 2025

Accepted: 4 February 2026

First Online: 25 February 2026

Declarations

:

: The authors declare no competing interests.

Document is current