Optimal Infinite Runs in One-Clock Priced Timed Automata

Alexandre David, Daniel Ejsing-Duun, Lisa Fontani, Kim Guldstrand Larsen, Vasile Popescu, Jacob Haubach Smedegård

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Optimal Infinite Runs in One-Clock Priced Timed Automata'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science