52 citations · 267 across the 47 of their papers we have counts for
3 papers · 1 filter
Making Practical: Efficient Interactive Protocols for BDD Algorithms
Eszter Couillard, Philipp Czerner, Javier Esparza +1
We show that interactive protocols between a prover and a verifier, a well-known tool of complexity theory, can be used in practice to certify the correctness of automated reasonin…
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Javier Esparza, Ruben Rubio, Salomon Sickert
In the mid 80s, Lichtenstein, Pnueli, and Zuck showed that every formula of Past LTL (the extension of Linear Temporal Logic with past operators) is equivalent to a conjunction of…
Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
Javier Esparza, Vincent Grande
We study black-box testing for stochastic systems and arbitrary -regular specifications, explicitly including liveness properties. We are given a finite-state probabilistic syst…