Formal Methods

Research Frontiers in Quantitative Temporal Logic with Rewards

Extension of temporal logics with quantitative reward structures for modeling and verifying systems with performance and resource constraints.

All Formal Methods PhD categories