4 citations · 5 across the 11 of their papers we have counts for
1 paper · 1 filter
André Platzer, Long Qian
This article proves the completeness of an axiomatization for initial value problems (IVPs) with compact initial conditions and compact time horizons for bounded open safety, open…