Data

Tools

Indexes

Applications

Experiments

Papers

Papers: 10.1007/978-3-030-51074-9_26

https://doi.org/10.1007/978-3-030-51074-9_26

Constructive Hybrid Games

Cited by: 3
Author(s): Brandon Bohrer, André Platzer
Published: almost 7 years ago

Software Mentions 2

pypi: dsolve
Solver of dynamic equations with forward looking variables
Papers that mentioned: 7
Very Likely Science (100)
pypi: sln
Link Folder/File Under Current Folder
Papers that mentioned: 1
Very Likely Science (65)