Kovács, Laura
- Automated Termination Analysis of Polynomial Probabilistic Programs
2020/10/07 by Moosbrugger, Marcel, Bartocci, Ezio, Katoen, Joost-Pieter +1 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
2019/05/07 by Bartocci, Ezio, Kovács, Laura, Stankovič, Miroslav · 1 citation
#FOS: Computer and information sciences #Symbolic Computation (cs.SC)
- The Probabilistic Termination Tool Amber
2021/07/27 by Marcel Moosbrugger, Moosbrugger, Marcel, Ezio Bartocci +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- From Polynomial Invariants to Linear Loops
2023/02/13 by George Kenison, Kenison, George, Laura Kovács +3 · 1 citation
Computer Science · #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
2024/02/27 by Thomas Häder, Hader, Thomas, Daniela Kaufmann +7 · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Linear Loop Synthesis for Quadratic Invariants
2023/10/08 by Hitarth, S., Kenison, George, Kovács, Laura +1 · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT)