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 verification cambridge university press, 2007
2-) Infinite runs in weighted timed automata with energy constraints Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008
3-) TAPAAL 2.0: Integrated development environment for timed-arc Petri nets Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
4-) Energy games in multiweighted automata Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011
5-) Online and compositional learning of controllers with application to floor heating Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016