Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.