| Revision of CTL models PT Guerra, R Wassermann Ibero-American Conference on Artificial Intelligence, 153-162, 2010 | 21 | 2010 |
| Two AGM-style characterizations of model repair PT Guerra, R Wassermann Annals of Mathematics and Artificial Intelligence 87, 233-257, 2019 | 10 | 2019 |
| Toward the revision of CTL models through Kripke modal transition systems PT Guerra, A Andrade, R Wassermann Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013 | 6 | 2013 |
| Revisao de modelos CTL PT Guerra Master's thesis, Universidade de São Paulo, 2010 | 5 | 2010 |
| Belief revision on computation tree logic PT Guerra, R Wassermann Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 4 | 2011 |
| On the uncomputability of partial meet contraction for linear-time temporal logic PT Guerra, R Wassermann South American Journal of Logic 4 (2), 385-406, 2018 | 3 | 2018 |
| Revising System Specifications in Temporal Logic PT Guerra, R Wassermann Journal of Logic, Language and Information 31 (4), 591-618, 2022 | | 2022 |
Renata WassermannComputer Science, Universidade de São PauloVerified email at ime.usp.br
