Niklas Metzger
- Formal Specifications from Natural Language
2022/06/04 by Christopher Hahn, Frederik Schmitt, Hahn, Christopher +9 · 7 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Synthesis of Temporal Causality
2024/05/17 by Bernd Finkbeiner, Finkbeiner, Bernd, Hadar Frenkel +5 · 4 citations
Computer Science · #Cognitive Science and Mapping #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Monitoring Second-Order Hyperproperties
2024/04/15 by Raven Beutner, Bernd Finkbeiner, Beutner, Raven +5 · 2 citations
Medicine · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hemodynamic Monitoring and Therapy #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA)