Models, mindsets, meta: essays dedicated to Bernhard Steffen on the occasion of his 60th birthday

por Margaria, Tiziana, Graf, Susanne, Larsen, Kim G
Publicado 2019

An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning()

por Bilgram, Alexander, Jensen, Peter G., Jørgensen, Kenneth Y., Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Poulsen, Danny B., Taankvist, Peter
Publicado 2022

Contracts for system design

por Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A, Larsen, Kim G
Publicado 2018