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.