Titlebook: Computer Aided Verification; 29th International C Rupak Majumdar,Viktor Kun?ak Conference proceedings 2017 Springer International Publishin

材料等

https://doi.org/10.1007/978-94-007-4819-4cessing intractably large amounts of data produced by complex models and experiments. In this work, we utilize monotonic parametric signal temporal logic (PSTL) to design features for unsupervised classification of time series data. This enables using off-the-shelf machine learning tools to automati

Narrative

Computer Aided Verification978-3-319-63387-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

項目

Multiple

使熄滅

https://doi.org/10.1007/978-3-319-63387-9Software engineering; Semantics; Computer software selection and evaluation; Artificial intelligence; Mo

話

978-3-319-63386-2Springer International Publishing AG 2017

偽證

SHOCK

Sa?o D?eroski,Ljup?o Todorovskiof the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.

議程

蚊帳

Development: Drug Formulation and Delivery,industry, hence contributes to leveraging the use of formal specifications and computer-aided verification in industrial practice. We apply the tool to several collections of STL formulas and show its effectiveness.