vardigroup/lisa

Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.

C++GPL-3.0

Stargazers

breandan
@mila-iqia
codeck
FilippoFantinato
Venice, Italy
francescofuggitti
@bancaditalia, ex- MIT-IBM Watson AI
Gabriel0402
University of Southampton
Gary-oak-Star
hooli67
j-gassner
marcofavorito
@bancaditalia
orangeccorange
SpencerL-Y
Institute of Software, CAS
wuwx25