Skip to content

Commit f65d4d9

Browse files
authored
Update KnoBAB.md
1 parent 99fc4fb commit f65d4d9

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

_projects/KnoBAB.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,11 +21,11 @@ outperforming state of the art algorithms.
2121
{% include figure.liquid loading="eager" path="assets/img/Datamer.png" title="KnoBAB outperforms MP-Declare Log Generator by Skydanienko t al." class="img-fluid rounded z-depth-1" %}
2222
</div>
2323
<div class="col-sm mt-3 mt-md-0">
24-
{% include figure.liquid loading="eager" path="assets/img/All_acc.png" title="KnoBAB's EMeriTAte outperforms most of the sktime classifiers." class="img-fluid rounded z-depth-1" %}
24+
{% include figure.liquid loading="eager" path="https://www.mdpi.com/logics/logics-03-00009/article_deploy/html/images/logics-03-00009-g006.png" title="KnoBAB's EMeriTAte outperforms most of the sktime classifiers {% cite DBLP:journals/corr/abs-2505-23624 %}." class="img-fluid rounded z-depth-1" %}
2525
</div>
2626
</div>
2727
<div class="caption">
28-
Bechmarks showing that our solutions outperform state of the art data-aware formal verification (left: {% cite info14030173 %}), formal synthesis (center: {% cite grades23 %}), and multivariate time series classification (right: {% cite ideas2024a %}) solutions.
28+
Bechmarks showing that our solutions outperform state of the art data-aware formal verification (left: {% cite info14030173 %}), formal synthesis (center: {% cite grades23 %}), and multivariate time series classification (right: {% cite logics2020005 %}) solutions.
2929
</div>
3030
<div class="row">
3131
<div class="col-sm mt-3 mt-md-0">

0 commit comments

Comments
 (0)