Resource-Constrained Scheduling Solver based on difference logic and clause learning
This package is intended to ease construction of CORBA servers by templating actions that are common to all servers.
Customized rddlsim version for my personal use
Livre d'introduction à ROS
Tor based on ABE
Priority allocation algorithms for the oMDP