City Research Online

Items where Author is "Francon, H."

Up a level
Group by: Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025). ltl Synthesis Under Environment Specifications for Reachability and Safety Properties. Information and Computation, 303, article number 105255. doi: 10.1016/j.ic.2024.105255

This list was generated on Wed Dec 25 04:13:18 2024 UTC.