Showing 1 - 2 results of 2 for search 'Bernd Finkbeiner', query time: 0.02s Refine Results
  1. 1
    Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

    Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds by Lars Kuhtz, Bernd Finkbeiner

    Published 2012-10-01
    Get full text
    Article
  2. 2
    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems by Raven Beutner, Bernd Finkbeiner

    Published 2023-05-01
    Get full text
    Article

Search Tools: