Valdemar Tang Evans

Identifiers

• name variant Valdemar Tang Evans 0.60 · backfill

Papers (1)

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

Mentions

• 2605.26847 #3 · arxiv_oai · confidence 0.70 Valdemar Tang Evans

Frequent Coauthors

• Andreas Kaag Thomsen 1 shared papers
• Lukas Esterle 1 shared papers
• Niels Viggo Stark Madsen 1 shared papers
• Peter Gorm Larsen 1 shared papers
• Thomas David Wright 1 shared papers