-A A +A

Tropical Abstractions of Max-Plus-Linear Systems

Paper titled: Tropical Abstractions of Max-Plus-Linear Systems accepted in the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018). Authored by Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abateo 

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.