-
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE ...
International audience -
Counting LTL
The original publication is available at ieeexplore.ieee.org. -
Learning Transition Rules from Temporal Logic Properties
Most of the work on temporal representation issues in Machine Learning deals with the problem of learning/mining temporal patterns from a large set of temporal data.... -
A BSP algorithm for on-the-fly checking LTL formulas on security protocols
International audience
