filipcano/monitoring-discounted-sum-properties

Cano, Filip; Henzinger, Thomas A.; Kueffner, Konstantin; Saraç, N. Ege

doi:10.4230/artifacts.27673

Artifact

filipcano/monitoring-discounted-sum-properties Software

Authors Filip Cano , Thomas A. Henzinger , Konstantin Kueffner , N. Ege Saraç

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-08-24

Document Identifiers

DOI: 10.4230/artifacts.27673
URN: urn:nbn:de:0030-drops-276737

Author Details

Filip Cano

Institute of Science and Technology Austria, Klosterneuburg, Austria

Thomas A. Henzinger

Institute of Science and Technology Austria, Klosterneuburg, Austria

Konstantin Kueffner

Institute of Science and Technology Austria, Klosterneuburg, Austria

N. Ege Saraç

CISPA Helmholtz Center for Information Security, Saarbrücken, Germany

Content

Software (Source Code): https://github.com/filipcano/monitoring-discounted-sum-properties
archived version

Version/Status

Content created at: 2026-01-21
Status: Inactive (at the time of publication 2026-08-24)

Cite As Get BibTex

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Saraç. filipcano/monitoring-discounted-sum-properties (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27673

Subject Classification

Programming Languages

Python
Jupyter Notebook
Shell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail