NewsEntry (2018/01/20)
From LRDE
Revision as of 19:24, 20 January 2018 by Alexandre Duret-Lutz (talk | contribs) (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.5] was released |subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis. |date=2018/01/20 }} The main f...")
| Title | Spot 2.5 was released |
|---|---|
| Sub-Title | Functions for parity acceptance, co-Büchi generation, LTL synthesis. |
| Date | 2018/01/20 |
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.