Discover @LorenzoTuri Open Source projects

Lorenzo Turi (@LorenzoTuri)

LorenzoTuri

Stars
2
Global Rank 2,219,069 (Top 77 %)
Following 1
Registered about 10 years ago
Most used languages

Java
100.0 %
Location 🇮🇹 Italy
Country Total Rank 13,502
Country Ranking

Java
1,752

PDDL-LTLfConversion

Use this software to translate PDDL files into LTLf formulas.

FLLOAT_Synthesis_Under_Partial_Observability

Code for computing Synthesis under partial observability of LTLf/LDLf formula