Volume: Vol-3876 KoDis-CAKR-SYNERGY 2024 | Year: 2024

Paper: « paper2 | invited1 | invited2 »

From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making