2026-05-24 –, Sprachschule 1: Argentinien Language: Deutsch
Viele Regeln und Gesetze sind eher schwammig formuliert, doch im Bereich Verkehrsregeln gibt es tatsächlich die Möglichkeit, mittels Temporallogik einen Teil der StVO zu formalisieren. Ich zeige euch einige interessante Anwendungsfälle formalisierter Verkehrsregeln.
Heya, I'm whoami (she/they)!
Apart from the usual stuff - I'm a big fan of Rust and a NixOS maintainer - I'm also interested in electronics, a bit of formal verification, coffee and lots of other nerdy things I forgot to list here.