Beutner, Raven
- Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
2022/04/06 by Beutner, Raven, Ong, Luke, Zaiser, Fabian · 4 citations
#Computation (stat.CO) #D.2.4 #F.3.1 #F.3.2 #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)
- AutoHyper: Explicit-State Model Checking for HyperLTL
2023/01/26 by Raven Beutner, Bernd Finkbeiner, Beutner, Raven +1 · 6 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- Monitoring Second-Order Hyperproperties
2024/04/15 by Raven Beutner, Beutner, Raven, Bernd Finkbeiner +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)
- Prophecy Variables for Hyperproperty Verification
2022/06/03 by Raven Beutner, Beutner, Raven, Bernd Finkbeiner +1 · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- Non-Deterministic Planning for Hyperproperty Verification
2024/05/22 by Beutner, Raven, Finkbeiner, Bernd · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Hyper Strategy Logic
2024/03/20 by Raven Beutner, Bernd Finkbeiner, Beutner, Raven +1 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multiagent Systems (cs.MA)