Author of the publication

Discounting the Future in Systems Theory.

, , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 1022-1037. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances., , , and . CoRR, (2017)Algorithms for Game Metrics (Full Version), , , and . Logical Methods in Computer Science, (2010)FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . CoRR, (2018)FAR-Cubicle - A new reachability algorithm for Cubicle., , , , and . FMCAD, page 172-175. IEEE, (2017)Quantifying Conformance Using the Skorokhod Metric., , and . CAV (2), volume 9207 of Lecture Notes in Computer Science, page 234-250. Springer, (2015)Thread-Modular Abstraction Refinement., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 262-274. Springer, (2003)Minimum Attention Controller Synthesis for Omega-Regular Objectives., and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 145-159. Springer, (2011)Quantifying Similarities Between Timed Systems., , and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 226-241. Springer, (2005)Symbolic Algorithms for Infinite-State Games., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 536-550. Springer, (2001)Computing the Skorokhod distance between polygonal traces., and . HSCC, page 199-208. ACM, (2015)