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

Montserrat Hermo Paqui Lucio César Sánchez

Published in: CoRR (2022)

Keyphrases

feature set
data sets
experimental evaluation
clustering method
fully automatic
similarity measure
cost function
semi supervised
principal component analysis
detection method
model checking