Pure-Past Linear Temporal and Dynamic Logic on Finite Traces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin. Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 4959-4965, ijcai.org, 2020. [doi]

This author has not been identified. Look up 'Giuseppe De Giacomo' in GoogleThis author has not been identified. Look up 'Antonio Di Stasio' in GoogleThis author has not been identified. Look up 'Francesco Fuggitti' in GoogleThis author has not been identified. Look up 'Sasha Rubin' in Google

runs on WebDSL