Skip to content
GitLab
Explore
Sign in
Milestones
Open
6
Closed
0
All
6
Due soon
Definition of HOA structure
i7 / Isabelle / Hanoi_Omega_Automata_Format
Nov 2, 2017–Nov 23, 2017
Expired
3/3 complete
100%
Syntcomp 2018
i7 / Strix
expired on May 18, 2018
Expired
3/4 complete
75%
CAV Public
i7 / Strix
expired on Jun 29, 2018
Expired
1/3 complete
33%
Petri Nets 2021
i7 / ostrich
Nov 16, 2020–Jan 7, 2021
Expired
5/5 complete
100%
Learning traps
i7 / Dodo
Jan 4, 2022–Jan 14, 2022
Expired
5/5 complete
100%
Conversion of different omega automata definitions to HOA
i7 / Isabelle / Hanoi_Omega_Automata_Format
started on Nov 23, 2017
Open
0/2 complete
0%