From Boolean to Quantitative System Specifications Tom Henzinger EPFL Outline 1 The Quantitative Agenda 2 Some Basic Open Problems 3 Some Promising Directions.

Download Report

Transcript From Boolean to Quantitative System Specifications Tom Henzinger EPFL Outline 1 The Quantitative Agenda 2 Some Basic Open Problems 3 Some Promising Directions.