48 citations · 174 across the 34 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 2 cited
Polynomial Probabilistic Invariants and the Optional Stopping Theorem
Anne Schreuder, C. -H. Luke Ong
In this paper we present methods for the synthesis of polynomial invariants for probabilistic transition systems. Our approach is based on martingale theory. We construct invariant…
cs.LO2019★ 8 cited
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
C. -H. Luke Ong, Dominik Wagner
We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutat…
cs.LO2019★ 1 cited
Change Actions: Models of Generalised Differentiation
Mario Alvarez-Picallo, C. -H. Luke Ong
Cai et al. have recently proposed change structures as a semantic framework for incremental computation. We generalise change structures to arbitrary cartesian categories and propo…