Complete Abstractions of Dynamical Systems by Timed Automata

Christoffer Sloth, Rafael Wisniewski

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

13 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Complete Abstractions of Dynamical Systems by Timed Automata'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science