Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "a871485b-17e6-4fc2-9ef8-3dea169cc0d0"

Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "a871485b-17e6-4fc2-9ef8-3dea169cc0d0"

Sortiert nach: Sortierung: Ergebnisse:

  • The Complexity of Satisfiability for Fragments of CTL and CTL⋆ 
    Meier, Arne; Mundhenk, Martin; Thomas, Michael; Vollmer, Heribert (Amsterdam : Elsevier BV, 2008)
    The satisfiability problems for CTL and CTL⋆ are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, ...
  • Model checking CTL is almost always inherently sequential 
    Beyersdorff, Olaf; Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Vollmer, Heribert (Braunschweig : International Federation for Computational Logic, 2011)
    The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of ...

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken