Crossmark

LTL-Specification for Development and Verification of Control Programs

Published Online: 2025-02-12

Published Print: 2024-12

Authors

Neyzov, M. V. https://orcid.org/0009-0000-6893-6137
Kuzmin, E. V. https://orcid.org/0000-0003-0500-306X
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2024-12-01
More Information

Article History

Received: 6 November 2023

Revised: 20 November 2023

Accepted: 22 November 2023

First Online: 12 February 2025

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current