Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
7
Licenses
1
1-1 of 1
Logo for abstraction-mpc-integration

abstraction-mpc-integration

Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

  • Abstraction
  • formal methods
  • Hybrid Systems
  • + 3
  • (CSS)
  • (HTML)
  • (JavaScript)
  • + 4
5
0