Temporal Logic Monitoring Rewards via Transducers.

Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca

Browse the full KR paper archive.