Our group has had two papers accepted at the 34th AAAI Conference on Artificial Intelligence (AAAI20):
- E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, R. Misener. “Efficient Verification of Neural Networks via Dependency Analysis.”
- F. Belardinelli, A. Lomuscio, E. Yu. “Model Checking Temporal Epistemic Logic under Bounded Recall.”
More details can be found on the publications page.