research
∙
09/01/2023
Implementing BDI Continual Temporal Planning for Robotic Agents
Making autonomous agents effective in real-life applications requires th...
share
research
∙
05/02/2022
Real-Time BDI Agents: a model and its implementation
The BDI model proved to be effective for developing applications requiri...
research
∙
03/09/2022
Computing unsatisfiable cores for LTLf specifications
Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a...
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