Milestones · i7

Definition of HOA structure - Project Milestone

Nov 2, 2017–Nov 23, 2017

Expired i7 / Isabelle / Hanoi_Omega_Automata_Format

3 Issues · 0 Merge requests
100% complete
Syntcomp 2018 - Project Milestone

expired on May 18, 2018

Expired i7 / Strix

4 Issues · 1 Merge request
75% complete
CAV Public - Project Milestone

expired on Jun 29, 2018

Expired i7 / Strix

3 Issues · 0 Merge requests
33% complete
Petri Nets 2021 - Project Milestone

Nov 16, 2020–Jan 7, 2021

Expired i7 / ostrich

5 Issues · 0 Merge requests
100% complete
Learning traps - Project Milestone

Jan 4, 2022–Jan 14, 2022

Expired i7 / Dodo

5 Issues · 0 Merge requests
100% complete
Conversion of different omega automata definitions to HOA - Project Milestone

started on Nov 23, 2017

Open i7 / Isabelle / Hanoi_Omega_Automata_Format

2 Issues · 0 Merge requests
0% complete