Thomas Nowak
Thomas Nowak
Affiliation: Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Gif-sur-Yvette
Affiliation: ENS Paris-Saclay
Pages in this Program
Efficient Stochastic Trace Generation for Transcription
Certified Harmonic-Mean Abstraction and Refinement for Continuous-Time Markov Chains
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑