City Research Online

Items where Author is "Aminof, B."

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 Tue Dec 24 03:52:51 2024 UTC.