JuliaReach: a toolbox for set-based reachability - Archive ouverte HAL Access content directly
Conference Papers Year :

JuliaReach: a toolbox for set-based reachability

Bogomolov Sergiy
  • Function : Author
Newcastle University [Newcastle]
Forets Marcelo
  • Function : Author
Frehse Goran
  • Function : Author
Unité d'Informatique et d'Ingénierie des Systèmes
Potomkin Kostiantyn
  • Function : Author
Schilling Christian
  • Function : Author

Domains

Computer Science [cs] Numerical Analysis [cs.NA] Computer Science [cs] Formal Languages and Automata Theory [cs.FL]

Goran Frehse  : Connect in order to contact the contributor

https://hal.science/hal-02446216

Submitted on : Monday, January 20, 2020-4:45:11 PM

Last modification on : Wednesday, May 11, 2022-3:20:03 PM

Consult the full text

Dates and versions

hal-02446216 , version 1 (20-01-2020)

Identifiers

Cite

Bogomolov Sergiy, Forets Marcelo, Frehse Goran, Potomkin Kostiantyn, Schilling Christian. JuliaReach: a toolbox for set-based reachability. HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada. ⟨hal-02446216⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENSTA ENSTA_U2IS UNIV-PARIS-SACLAY
34 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More