search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

add "controllable-AP" header #71

Open strejcek opened 4 years ago

strejcek commented 4 years ago

This is actually suggested in: https://arxiv.org/pdf/1912.05793.pdf