activity
20152022
most citedBlack-box Testing of First-Order Logic Ontologies Using WordNet

7 citations · 13 across the 5 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022

A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications

Montserrat Hermo, Paqui Lucio, César Sánchez

We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau d…