Exploiting Anti-scenarios for the Non Realizability Problem. - Fernando Asteasuain; Federico Calonge; Pablo Gamboa (CACIC, 2019)

Open and Branching Behavioral Synthesis with Scenario Clauses. - Fernando Asteasuain; Federico Calonge; Manuel Dubinsky; Pablo Gamboa (CLEI Electron. J., 2021)