Vol-3875⫷ Vol-3876 ⫸Vol-3877
urn:nbn:de:0074-3876-0


Vol-3876/paper2⫷Vol-3876/invited1⫸Vol-3876/invited2
Giuseppe De Giacomo

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