arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Paqui Lucio"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Jun 3, 2022
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications
May 29, 2017
Black-box Testing of First-Order Logic Ontologies Using WordNet
Jan 16, 2017
A Tutorial on Using Dafny to Construct Verified Software
May 29, 2017
Automatic White-Box Testing of First-Order Logic Ontologies
Oct 16, 2015
Improving the Competency of First-Order Ontologies
Oct 16, 2015
Evaluating the Competency of a First-Order Ontology