7.2k citations
- Centre National de la Recherche ScientifiqueFR940 papers
- University of Maryland, College ParkUS870 papers
- Centro Brasileiro de Pesquisas FísicasBR813 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR806 papers
- University of ZurichCH806 papers
- Massachusetts Institute of TechnologyUS758 papers
- Imperial College LondonGB749 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT742 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT737 papers
- University College DublinIE734 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT733 papers
- European Organization for Nuclear ResearchCH732 papers
Showing 2021 · cs.LOShow all
3 papers · 2 filters
cs.LO2021★ 4 cited
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
Erich Grädel, Niels Lücking, Matthias Naaf
This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in Büchi games. Semiring semantics generalizes the…
cs.LO2021
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
Erika Abraham, James H. Davenport, Matthew England +1
We discuss the topic of unsatisfiability proofs in SMT, particularly with reference to quantifier free non-linear real arithmetic. We outline how the methods here do not admit triv…
cs.LO2021★ 1 cited
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
Qiuye Wang, Mingshuai Chen, Bai Xue +2
A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid s…