🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Evolving Algebras 1993: Lipari Guide

Yuri Gurevich

cs.LO 🏛 Specification and validation methods 📚 863 cites 7 years ago

🔮 🔮 The Ethereal

Safe Reinforcement Learning via Shielding

Mohammed Alshiekh, Roderick Bloem, ... (+4 more)

cs.LO 🏛 AAAI 📚 806 cites 8 years ago

🔮 🔮 The Ethereal

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Ruediger Ehlers

cs.LO 🏛 ATVA 📚 671 cites 8 years ago

🔮 🔮 The Ethereal

Heterogeneous substitution systems revisited

Benedikt Ahrens, Ralph Matthes

cs.LO 🏛 Types for Proofs and Programs 📚 183 cites 10 years ago

🔮 🔮 The Ethereal

Omega-Regular Objectives in Model-Free Reinforcement Learning

Ernst Moritz Hahn, Mateo Perez, ... (+4 more)

cs.LO 🏛 ICTACAS 📚 160 cites 7 years ago

🔮 🔮 The Ethereal

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs

Benjamin Lucien Kaminski, Joost-Pieter Katoen, ... (+2 more)

cs.LO 🏛 European Symposium on Programming 📚 145 cites 10 years ago

🔮 🔮 The Ethereal

A Complete Uniform Substitution Calculus for Differential Dynamic Logic

André Platzer

cs.LO 🏛 Journal of automated reasoning 📚 140 cites 10 years ago

🔮 🔮 The Ethereal

Verus: Verifying Rust Programs using Linear Ghost Types (extended version)

Andrea Lattuada, Travis Hance, ... (+7 more)

cs.LO 🏛 PACMPL 📚 134 cites 3 years ago

🔮 🔮 The Ethereal

Proving Differential Privacy via Probabilistic Couplings

Gilles Barthe, Marco Gaboardi, ... (+3 more)

cs.LO 🏛 Logic in Computer Science 📚 106 cites 10 years ago

🔮 🔮 The Ethereal

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)

cs.LO 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 103 cites 10 years ago

🔮 🔮 The Ethereal

ENIGMA: Efficient Learning-based Inference Guiding Machine

Jan Jakubův, Josef Urban

cs.LO 🏛 ICICM 📚 98 cites 9 years ago

🔮 🔮 The Ethereal

Symbolic LTLf Synthesis

Shufang Zhu, Lucas M. Tabajara, ... (+3 more)

cs.LO 🏛 IJCAI 📚 93 cites 8 years ago

🔮 🔮 The Ethereal

A Domain Theory for Statistical Probabilistic Programming

Matthijs Vákár, Ohad Kammar, Sam Staton

cs.LO 🏛 PACMPL 📚 87 cites 7 years ago

🔮 🔮 The Ethereal

QWIRE Practice: Formal Verification of Quantum Circuits in Coq

Robert Rand, Jennifer Paykin, Steve Zdancewic

cs.LO 🏛 QPL 📚 82 cites 8 years ago

🔮 🔮 The Ethereal

Measurable Cones and Stable, Measurable Functions

Thomas Ehrhard, Michele Pagani, Christine Tasson

cs.LO 🏛 PACMPL 📚 81 cites 8 years ago

🔮 🔮 The Ethereal

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, ... (+3 more)

cs.LO 🏛 Found. Trends Program. Lang. 📚 80 cites 6 years ago

🔮 🔮 The Ethereal

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control

Yannick Forster, Ohad Kammar, ... (+2 more)

cs.LO 🏛 Journal of functional programming 📚 79 cites 9 years ago

🔮 🔮 The Ethereal

The Institutional Approach

Robert E. Kent

cs.LO 🏛 arXiv 📚 78 cites 7 years ago

🔮 🔮 The Ethereal

Aspect-oriented linearizability proofs

Soham Chakraborty, Thomas A. Henzinger, ... (+2 more)

cs.LO 🏛 CONCUR 📚 78 cites 11 years ago

🔮 🔮 The Ethereal

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Igor Konnov, Marijana Lazic, ... (+2 more)

cs.LO 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 77 cites 9 years ago

🔮 🔮 The Ethereal

Causal Inference by String Diagram Surgery

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

cs.LO 🏛 Foundations of Software Science and Computation Structure 📚 75 cites 7 years ago

🔮 🔮 The Ethereal

The Model Counting Competition 2020

Johannes K. Fichte, Markus Hecher, Florim Hamiti

cs.LO 🏛 ACM Journal of Experimental Algorithmics 📚 74 cites 5 years ago

🔮 🔮 The Ethereal

A Process Algebra for Wireless Mesh Networks

Ansgar Fehnker, Rob van Glabbeek, ... (+4 more)

cs.LO 🏛 European Symposium on Programming 📚 74 cites 10 years ago

🔮 🔮 The Ethereal

Horn-ICE Learning for Synthesizing Invariants and Contracts

Deepak D'Souza, P. Ezudheen, ... (+3 more)

cs.LO 🏛 PACMPL 📚 67 cites 8 years ago