cLTL-synth software on GitHub

Software OPEN SOURCE

Generates provably correct trajectories from cLTL specifications for large collection of agents
Share - Bookmark