Picture for Arvid Becker

Arvid Becker

Metric Dynamic Equilibrium Logic

Add code
Jan 19, 2024
Viaarxiv icon

Metric Temporal Equilibrium Logic over Timed Traces

Add code
Apr 28, 2023
Viaarxiv icon