Martín Zimmermann
- The First-Order Logic of Hyperproperties
2016/10/14 by Bernd Finkbeiner, Martín Zimmermann, Finkbeiner, Bernd +1 · 4 citations
Computer Science · Social Sciences · #Distributed systems and fault tolerance #Security and Verification in Computing #Access Control and Trust
- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
2024/09/09 by Alessandro Cimatti, Thomas M. Grosen, Cimatti, Alessandro +7 · 1 voice · 2 citations
Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Robust Alternating-Time Temporal Logic
2023/07/20 by Aniello Murano, Murano, Aniello, Daniel Neider +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond ∀^*∃^*
2025/04/11 by Sarah Winter, Martín Zimmermann, Winter, Sarah +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Web Applications and Data Management