Abstraction and verification of autonomous max-plus-linear systems
Conference Paper
(2012)
Author(s)
D Adzkiya (TU Delft - Team Bart De Schutter)
Bart De Schutter (TU Delft - Team Bart De Schutter)
Alessandro Abate (TU Delft - Team Bart De Schutter)
Research Group
Team Bart De Schutter
To reference this document use:
https://resolver.tudelft.nl/uuid:c3d1f3e3-db60-4adc-89c6-320147b794f5
More Info
expand_more
expand_more
Publication Year
2012
Research Group
Team Bart De Schutter
Pages (from-to)
721-726
ISBN (print)
978-4577-1094-0
No files available
Metadata only record. There are no files for this record.