GitHub repository: BracketJohn/flowp
Created: 2018-08-08T14:00:03Z
Description: Flowpipe approximation for general Linear Hybrid Automata