Lukas Posch

BSc

Secure Applications, Student Researcher

lukas.posch@tugraz.at
https://www.isec.tugraz.at
IF02112
TUGRAZ online
Lukas Posch

Publications

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Pranger S., Könighofer B., Posch L., Bloem R.
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings

doi restricted icon other electronic versions icon
More Publications