Details for solver configuration AbsSynthe P1 (2015)
Name: | AbsSynthe (2015) |
Version: | 1.0 |
Description: | Swiss AbsSynthe - is the native version of the AbsSynthe tool, used to synthesize controllers from succinct safety specifications. |
Authors: | Romain Brenguier, Ocan Sankur, Guillermo A. Perez, Jean-Francois Raskin |
Hint:
Specified parameters
Order | Name | Prefix | Value |
---|---|---|---|
0 | configuration | par_synth_conf1 | |
1 | instance |