1.8k citations
- Centre National de la Recherche ScientifiqueFR262 papers
- University of ViennaAT182 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR177 papers
- Charles UniversityCZ176 papers
- European Organization for Nuclear ResearchCH171 papers
- Institute of High Energy PhysicsCN164 papers
- Université Paris-SaclayFR163 papers
- CEA Paris-SaclayFR157 papers
- University of BolognaIT150 papers
- Centro de Investigaciones Energéticas, Medioambientales y TecnológicasES148 papers
- Helsinki Institute of PhysicsFI148 papers
- ETH ZurichCH146 papers
8 papers · 2 filters
Graded Distributed Belief
Emiliano Lorini, Dmitry Rozplokhas
We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least stren…
The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
Leonardo Pacheco
The modal mu-calculus is obtained by adding least and greatest fixed-point operators to modal logic. Its alternation hierarchy classifies the mu-formulas by their alternation depth…
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
Beatrice Melani, Ezio Bartocci, Michele Chiari
Signal Temporal Logic (STL) is a widely recognized formal specification language to express rigorous temporal requirements on mixed analog signals produced by cyber-physical system…
Execution and monitoring of HOA automata with HOAX
Luca Di Stefano
We present a tool called Hoax for the execution of ω-automata expressed in the popular HOA format. The tool leverages the notion of trap sets to enable runtime monitoring of any (n…
Towards an Analysis of Proofs in Arithmetic
Alexander Leitsch, Anela Lolić, Stella Mahler
Inductive proofs can be represented as proof schemata, i.e. as parameterized sequences of proofs defined in a primitive recursive way. Applications of proof schemata can be found i…
POPACheck: A Model Checker for Probabilistic Pushdown Automata
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
We present POPACheck, the first model checking tool for probabilistic Pushdown Automata (pPDA) supporting temporal logic specifications. POPACheck provides a user-friendly probabil…