Max Tschaikowski | Formal Verification Group https://fiction-zju.github.io/author/max-tschaikowski/ Max Tschaikowski Wowchemy (https://wowchemy.com)en-usSun, 30 Aug 2026 00:00:00 +0000 https://fiction-zju.github.io/media/sharing.jpeg Max Tschaikowski https://fiction-zju.github.io/author/max-tschaikowski/ Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems https://fiction-zju.github.io/publication/chen-qf2026/ Sun, 30 Aug 2026 00:00:00 +0000 https://fiction-zju.github.io/publication/chen-qf2026/ <!-- <div class="alert alert-note"> <div> Click the <em>Cite</em> button above to demo the feature to enable visitors to import publication metadata into their reference management software. </div> </div> -->