Published March 6, 2023 | Version v1
Software Open

Energy Problems in Finite and Timed Automata with Büchi Conditions

Authors/Creators

  • 1. LRE, EPITA, Le Kremlin-Bicetre, France
  • 2. LRE, EPITA, Rennes, France

Description

Artifact for our FM 23 paper entitled "Energy Problems in Finite and Timed Automata with Büchi Conditions".
Contains the Dockerfile as well as all scripts needed to reproduce the benchmark given in the paper.

Files

wspot.zip

Files (326.9 kB)

Name Size
md5:2e41985d7a2a004dec1fc6185532f386
326.9 kB Preview Download

Additional details

Funding

Agence Nationale de la Recherche
TickTac - Efficient Techniques and Tools for Verification and Synthesis of Real-Time Systems ANR-18-CE40-0015