Discover @AngeloFerrando Open Source projects

Angelo (@AngeloFerrando)

AngeloFerrando

Stars
11
Global Rank 915,183 (Top 32 %)
Followers 7
Registered almost 9 years ago
Most used languages

Java
28.6 %

Python
28.6 %

ASL 14.3 %

Prolog
14.3 %

C
14.3 %
Location 🇮🇹 Italy
Country Total Rank 4,844
Country Ranking

ASL 21

Prolog
35

C
1,247

Java
1,340

Python
2,590

Solvent

3-valuedSL

3vLTL

trace_expression_plugin_eclipse

nuMonitor

SafetyShieldsBDI

RVPlan

RVPlan: Runtime Verification of Assumptions in Automated Planning