Michal Rutkowski

According to our database, Michal Rutkowski authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

New Controllable Sound Absorbers Made of Vacuum Packed Particles.

Robert Zalewski, Michal Rutkowski

Proceedings of the New Contributions in Information Systems and Technologies, 2015

2011

Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

2009

Average-Price-per-Reward Games on Hybrid Automata with Strong Resets.

Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski

Proceedings of the Verification, 2009

2008

Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets.

Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008