Search

Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions

Light Dark Automatic

Authors

Xin Xia
Xing Hu
Christian Blumenthal
Darion Haase
Joost-Pieter Katoen
Lutz Klinkenberg
Kevin Batz
Zhiang Wu
Benjamin Lucien Kaminski
Christoph Matheja

«
»

© 2025 Formal Verification Group at Zhejiang University. This work is inspired by Genetic Logic Lab and licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite