Hadar Frenkel
- Synthesis of Temporal Causality
2024/05/17 by Bernd Finkbeiner, Hadar Frenkel, Finkbeiner, Bernd +5 · 3 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)