DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1609/aaai.v39i11.33213,19667,KrCh,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1145/3662158.3662769,17328,"KrCh,KrPi",Fully automated selfish mining analysis in efficient proof systems blockchains
10.1145/3662158.3662768,17329,"DaAl,KrCh",Game dynamics and equilibrium computation in the population protocol model