Complexity of adaptive testing in scenarios defined extensionally. - Rodríguez, Ismael; Rubio, David; Rubio, Fernando (Frontiers Comput. Sci., 2023)

DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts. - Pulido, Belarmino; Bregón, Aníbal; Alonso-González, Carlos J.; Hernández, Alberto; Rubio, David; Villarroel, Luis Miguel (Prog. Artif. Intell., 2016)