Earlier Version

Temporal specifications with accumulative values

U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.

Download
OA 366.28 KB
Technical Report | Published | English
Series Title
IST Austria Technical Report
Abstract
There is recently a significant effort to add quantita-tive objectives to formal verification and synthesis. We introduceand investigate the extension of temporal logics with quantitativeatomic assertions, aiming for a general and flexible frameworkfor quantitative-oriented specifications.
Publishing Year
Date Published
2011-04-04
Page
14
IST-REx-ID

Cite this

Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011.
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria.
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011.
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011.
Main File(s)
Access Level
OA Open Access
Last Uploaded
2018-12-12T11:53:00Z


Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar