HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Guido Sciavicco

Publications
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation
Dario Della Monica, Angelo Montanari, Aniello Murano and Guido Sciavicco
In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence

Keyphrases

model checking, temporal dataset evaluation, ultimately periodic models.

Copyright © 2012-2025 easychair.org. All rights reserved.