ParaPlan

swMATH40795MaRDI QIDQ1354544FDOQ1354544

Author name not available (Why is that?)

Official website: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.20.pdf

Source code repository: https://github.com/asandler/ParaPlan

Described by source

• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems

Cited In (1)

• GSPeeDI

This page was built for software: ParaPlan