1. Enhancing model checking in verification by AI techniques;Buccafurri;Artif. Intell.,1999
2. On ACTL formulas having linear counterexamples;Buccafurri;J. Comput. Syst. Sci.,2001
3. Machine learning biochemical networks from temporal logic properties;Calzone,2006
4. A method for CTL model update, representing Kripke structures as “table systems”;Carrillo;Int. J. Pure Appl. Math.,2009
5. Nondeterministic update of CTL models by preserving satisfaction through protections;Carrillo,2011