Jiri Srba

Jiri Srba

Aalborg University - Aalborg / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435298
Universitas Alburgensis
person_outline Jiri Srba's MOST POPULAR ARTICLES
1-) Reactive systems: modelling, specification and verificationL Aceto, A Ingólfsdóttir, KG Larsen, J Srbacambridge university press, 20073862007
2-) Infinite runs in weighted timed automata with energy constraintsP Bouyer, U Fahrenberg, KG Larsen, N Markey, J SrbaInternational Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 20082272008
3-) TAPAAL 2.0: Integrated development environment for timed-arc Petri netsA David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J SrbaTools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012892012
4-) Energy games in multiweighted automataU Fahrenberg, L Juhl, KG Larsen, J SrbaTheoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011942011
5-) Online and compositional learning of controllers with application to floor heatingKG Larsen, M Mikučionis, M Muniz, J Srba, JH TaankvistTools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016712016