Giacobbe, Mirco
Guet, Călin C.
Gupta, Ashutosh
Henzinger, Thomas A.
Paixão, Tiago
Petrov, Tatjana
Funding for this research was provided by:
European Research Council (267989 (QUAREM))
Austrian Science Fund (S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award))
European Union’s SAGE grant program (618091)
European Research Council (ERC-2009-AdG-250152)
SNSF Advanced Mobility (P300P2 161067)