arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Montserrat Hermo"" — arXiv2 Search
Showing 1–5 of 5 results
/ Date
/ Name
Jul 2, 2023
Revisiting the specification decomposition for synthesis based on LTL solvers
Jun 3, 2022
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications
Sep 10, 2016
New Steps on the Exact Learning of CNF
May 29, 2017
Automatic White-Box Testing of First-Order Logic Ontologies
Dec 28, 2021
On the Complexity of Realizability for Safety LTL and Related Subfragments