research
∙
09/06/2022
A first-order logic characterization of safety and co-safety languages
Linear Temporal Logic (LTL) is one of the most popular temporal logics, ...
share
research
∙
09/27/2021
The VMT-LIB Language and Tools
We present VMT-LIB, a language for the representation of verification pr...
research
∙
09/17/2021
Expressiveness of Extended Bounded Response LTL
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment ...
research
∙
08/12/2020
Reactive Synthesis from Extended Bounded Response LTL Specifications
Reactive synthesis is a key technique for the design of correct-by-const...
research
∙
07/01/2020
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
This paper proposes a new approach, grounded in Satisfiability Modulo Th...
research
∙
11/17/2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
One of the major limitations for the employment of model-based planning ...
research
∙
09/25/2019
Temporal Planning with Intermediate Conditions and Effects
Automated temporal planning is the technology of choice when controlling...
research
∙
01/26/2018
Satisfiability Modulo Transcendental Functions via Incremental Linearization
In this paper we present an abstraction-refinement approach to Satisfiab...
research
∙
01/26/2018
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
Model checking invariant properties of designs, represented as transitio...
research
∙
01/16/2014