All Stories

  1. Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic

    Article • ACM Transactions on Computational Logic, April 2022, ACM (Association for Computing Machinery)

    Tzanis Anevlavis