research
∙
02/28/2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
One major limitation to the applicability of Reinforcement Learning (RL)...
share
research
∙
02/27/2023
Forward LTLf Synthesis: DPLL At Work
This paper proposes a new AND-OR graph search framework for synthesis of...
research
∙
02/23/2023
Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs
Calibrating agent-based models (ABMs) in economics and finance typically...
research
∙
07/14/2022
A PoW-less Bitcoin with Certified Byzantine Consensus
Distributed Ledger Technologies (DLTs), when managed by a few trusted va...
research
∙
04/21/2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning
We study temporally extended goals expressed in Pure-Past LTL (PPLTL). P...
research
∙
02/13/2022
On the Relationship between Shy and Warded Datalog+/-
Datalog^E is the extension of Datalog with existential quantification. W...
research
∙
12/25/2020
Standard Grammars for LTL and LDL (v0.1.0)
The heterogeneity of tools that support temporal logic formulae poses se...
research
∙
07/17/2018