Jean-Michel Couvreur, Joaquin Ezpeleta. A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. In Paolo Ceravolo, Maurice van Keulen, Kilian Stoffel, editors, Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), Neuchâtel, Switzerland, December 6-8, 2017. Volume 2016 of CEUR Workshop Proceedings, pages 23-37, CEUR-WS.org, 2017. [doi]
Abstract is missing.