Zeynep Dayar

Works (1)

Updated: July 5th, 2023 16:02

1999 article

Testing Preorders for Probabilistic Processes

Cleaveland, R., Dayar, Z., Smolka, S. A., & Yuen, S. (1999, November 1). Information and Computation.

By: R. Cleaveland*, Z. Dayar n, S. Smolka * & S. Yuen *

topics (OpenAlex): Formal Methods in Verification; Petri Nets in System Modeling; Healthcare Technology and Patient Monitoring
TL;DR: The theory of testing is extended to substochastic processes, in which the sum of the probabilities of a process's outgoing transitions may be strictly less than 1, with the deficit representing the process' capacity for undefined behavior. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.