Search Results - Humml, Merlin

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames by Hausmann, Daniel, Humml, Merlin, Prucker, Simon, Schröder, Lutz

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: