Explore projects

3D model of the Gerard Bauzil experimental room.

Priority allocation algorithms for the oMDP

Resource-Constrained Scheduling Solver based on difference logic and clause learning

network diagnostic tool using the UDP echo service (not ICMP echo because some vendors cheat and prioritize ICMP echo packets to show healthy connections)

BE INSA

Fork from https://git.openrobots.org/robots/robotpkg.git

Customized rddlsim version for my personal use

Tor based on ABE