×
2024
The 2023/24 VIEWS Prediction Challenge: Predicting the Number of Fatalities in Armed Conflict, with Uncertainty.
[DOI]
Håvard Hegre
,
Paola Vesco
,
Michael Colaresi
,
Jonas Vestby
,
Alexa Timlick
,
Noorain Syed Kazmi
,
Friederike Becker
,
Marco Binetti
,
Tobias Bodentien
,
Tobias Bohne
,
Patrick T. Brandt
,
Thomas Chadefaux
,
Simon Drauz
,
Christoph Dworschak
,
Vito D'Orazio
,
Cornelius Fritz
,
Hannah Frank
,
Kristian Skrede Gleditsch
,
Sonja Häffner
,
Martin Hofer
,
Finn L. Klebe
,
Luca Macis
,
Alexandra Malaga
,
Marius Mehrl
,
Nils W. Metternich
,
Daniel Mittermaier
,
David Muchlinski
,
Hannes Mueller
,
Christian Oswald
,
Paola Pisano
,
David Randahl
,
Christopher Rauh
,
Lotta Rüter
,
Thomas Schincariol
,
Benjamin Seimon
,
Elena Siletti
,
Marco Tagliapietra
,
Chandler Thornhill
,
Johan Vegelius
,
Julian Walterskirchen
CoRR, 2024
2002
Model Checking - Timed UML State Machines and Collaborations.
[DOI]
Alexander Knapp
,
Stephan Merz
,
Christopher Rauh
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002