> Detailanzeige

Bozzelli, Laura [VerfasserIn]; Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn] ; Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala [MitwirkendeR]

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; Elektronischer Konferenzbericht; Sonstige Veröffentlichung
  • Titel: Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
  • Beteiligte: Bozzelli, Laura [VerfasserIn]; Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.ICALP.2017.120
  • Schlagwörter: Decidability ; Satisfiability ; Model Checking ; Computational Complexity ; Interval Temporal Logic
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: In this paper, we investigate the finite satisfiability and model checking problems for the logic D of the sub-interval relation under the homogeneity assumption, that constrains a proposition letter to hold over an interval if and only if it holds over all its points. First, we prove that the satisfiability problem for D, over finite linear orders, is PSPACE-complete; then, we show that its model checking problem, over finite Kripke structures, is PSPACE-complete as well.
  • Zugangsstatus: Freier Zugang