Explorer les projets

Energy Efficient Planning Contains a global planner, a local planner and dependencies

DM n°1 du cours Modélisation et vérification des systèmes concurrents. Implémentation de système de transition, de proposition logique et d'un algorithme de vérification d'invariant.

DM n°1 of the course Modeling and verification of concurrent systems. Implementation of transition system, logical proposition and invariant verification algorithm.

Compute coverage statistics from a list of indexed BAM files