Publications

  • An Automata-Theoretic Approach to Modeling Systems
    and Specifications Over Infinite Data
    Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
    NFM 2017
    pdfslides
  • An Automata-Theoretic Approach to Model-Checking
    Systems and Specifications Over Infinite Data Domains

    Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
    Journal of Automated Reasoning 2018
    pdf