Browsing by Author Pedersen, Mathias Ruggaard
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2022 | On probabilistic monitorability | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard |