Monitoring Bounded LTL Properties Using Interval Analysis - Laboratoire des Sciences du Numérique de Nantes Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2015

Dates et versions

hal-02488309 , version 1 (22-02-2020)

Identifiants

Citer

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn. Monitoring Bounded LTL Properties Using Interval Analysis. Electronic Notes in Theoretical Computer Science, 2015, 317, pp.85-100. ⟨10.1016/j.entcs.2015.10.009⟩. ⟨hal-02488309⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More