Search Results for author:
Found 4 papers, 0 papers with code
A first-order logic characterization of safety and co-safety languages
Moreover, we prove that, when interpreted over finite words, SafetyLTL (resp.
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 and scheduling in practical applications is the need of costly re-planning when an incongruence between the observed reality and the formal model is encountered during execution.
Temporal Planning with Intermediate Conditions and Effects
Automated temporal planning is the technology of choice when controlling systems that can execute more actions in parallel and when temporal constraints, such as deadlines, are needed in the model.
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
In this paper we present a novel approach to this problem, called the Lemma-Lifting approach.
