Marta Kwiatkowska

Latest

• Design and analysis of DNA strand displacement devices using probabilistic model checking