Interval-based Synthesis

Article, Conference object, Preprint English OPEN
Angelo Montanari; Pietro Sala;
  • Publisher: Open Publishing Association
  • Journal: Electronic Proceedings in Theoretical Computer Science (issn: 2075-2180)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.4204/EPTCS.161.11
  • Subject: Mathematics | Electronic computers. Computer science | Computer Science - Formal Languages and Automata Theory | Computer Science - Logic in Computer Science | QA1-939 | QA75.5-76.95 | interval temporal logic; synthesis; game
    arxiv: Computer Science::Logic in Computer Science

We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the case of monadic second-order logic of one successor, the considered synthesis problem receiv... View more