GitHub / tulip-control / tulip-control
Temporal Logic Planning toolbox
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Ftulip-control
PURL: pkg:github/tulip-control/tulip-control
étoiles: 119
forks: 36
issues ouvertes: 66
licence: bsd-3-clause
langage: Python
taille: 9,52 Mo
dépendances analysées: En attente
date de création: il y a plus de 11 ans
date de mise à jour: il y a 30 jours
enregistré: il y a 2 mois
dernière synchronisation: il y a 30 jours
Commit Stats
Commits: 3203
Authors: 30
Mean commits per author: 106.77
Development Distribution Score: 0.393
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/tulip-control/tulip-control
Sujets: abstraction, automata, control-systems, feedback-systems, hybrid-systems, python, specification, state-machine, synthesis, temporal-logic, verification