Pinned Repositories
goa
Goa (groups of agents) is a planning system for privacy-preserving distributed multi-agent planning
schultet.github.io
sh
Useful scripts to improve shell usage
talks
schultet's Repositories
schultet/goa
Goa (groups of agents) is a planning system for privacy-preserving distributed multi-agent planning
schultet/schultet.github.io
schultet/sh
Useful scripts to improve shell usage
schultet/talks