title = {{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics },
    author = {Frehse, Goran and Abate, Alessandro and Adzkiya, Dieky and Bu, Lei and Giacobbe, Mirco},
    year = {2017},
    booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}},
    pages = {124--133},
    team = {TEMPO},

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3985559