SEMECO-Q1
From International Center for Computational Logic
SEMECO-Q1
Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture
Research group
People
- Contact Christel Baier
- https://digitalhealth.tu-dresden.de/projects/semeco/
- 2023 – 2026
- funded by BMBF
For more information, see the external project website.
Proceedings Articles
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Calvin Chau, Jan Křetínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In André, Étienne and Sun, Jun, eds., Automated Technology for Verification and Analysis, 401--421, 2023. Springer Nature Switzerland
Details
