3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2019★ 3 cited
Hierarchic Superposition Revisited
Peter Baumgartner, Uwe Waldmann
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research…
cs.LO2017★ 2 cited
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to co…
cs.LO2012
Reasoning with Data-Centric Business Processes
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…