Abate, Alessandro

Counterexample Guided Inductive Synthesis Modulo Theories

Abate, A., David, C., Kesseli, P., Kroening, D., & Polgreen, E. (2018) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 71

Automated formal synthesis of provably safe digital controllers for continuous plants

Abate, A., Bessa, I., Cordeiro, L., David, C., Kesseli, P., Kroening, D., & Polgreen, E. (2020) · Acta Informatica

Formal Methods in VerificationLogic, programming, and type systems

Cited by 15

Reasoning about causality in games

Hammond, L., Fox, J., Everitt, T., Carey, R., Abate, A., & Wooldridge, M. (2023) · Artificial Intelligence

Bayesian Modeling and Causal InferenceLogic, Reasoning, and Knowledge

Cited by 13

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Dalrymple, D. "., Skalse, J., Bengio, Y., Russell, S., Tegmark, M., Seshia, S., Omohundro, S., Szegedy, C., Goldhaber, B., Ammann, N., et al. (2024) · arXiv

Safety Systems Engineering in AutonomyFormal Methods in Verification

Cited by 12

Subversion Strategy Eval: Can language models statelessly strategize to subvert control protocols?

Mallen, A., Griffin, C., Wagner, M., Abate, A., & Shlegeris, B. (2024) · arXiv

Ethics and Social Impacts of AIAdversarial Robustness in Machine Learning

Cited by 0