City Research Online

Items where Author is "Aminof, B."

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

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 03:45:23 2024 UTC.