Synchronizing Words for Weighted and Timed Automata.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Weighted modal transition systems.
Formal Methods Syst. Des., 2013
Optimal Bounds for Multiweighted and Parametrised Energy Games.
Proceedings of the Theories of Programming and Formal Methods, 2013
Extending modal transition systems with structured labels.
Math. Struct. Comput. Sci., 2012
Modal transition systems with weight intervals.
J. Log. Algebraic Methods Program., 2012
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Quantitative Refinement for Weighted Modal Transition Systems.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Energy Games in Multiweighted Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011