Crossmark

Generalization of temporal logic tasks via future dependent options

Published Online: 2024-08-26

Published Print: 2024-10

Authors

Xu, Duo

Fekri, Faramarz
Funding

Funding for this research was provided by:

National Science Foundation (1837369)
License Information

Text and Data Mining valid from 2024-08-26

Version of Record valid from 2024-08-26
More Information

Article History

Received: 24 November 2023

Revised: 21 May 2024

Accepted: 9 August 2024

First Online: 26 August 2024

Declarations

:

: Not applicable.

: Not applicable.

: Not applicable.

: Not applicable.

Document is current