Niels Viggo Stark Madsen

Identifiers

• name variant Niels Viggo Stark Madsen 0.60 · backfill

Papers (1)

1. mstlo: Efficient Online Monitoring of Signal Temporal Logic cs.LO · 2026 · author #2

Mentions

• 2605.26847 #2 · arxiv_oai · confidence 0.70 Niels Viggo Stark Madsen

Frequent Coauthors

• Andreas Kaag Thomsen 1 shared papers
• Lukas Esterle 1 shared papers
• Peter Gorm Larsen 1 shared papers
• Thomas David Wright 1 shared papers
• Valdemar Tang Evans 1 shared papers