LTL->UVW
The fragment is defined in http://motesy.cs.uni-bremen.de/pdfs/atva2018.pdf Is our translation able to produce UVW? (via dualization probably). Should we add the fragment and the translation?
The fragment is defined in http://motesy.cs.uni-bremen.de/pdfs/atva2018.pdf Is our translation able to produce UVW? (via dualization probably). Should we add the fragment and the translation?