Muralidhar Narasimha

Works (2)

Updated: July 5th, 2023 15:57

2005 article

Probabilistic temporal logics via the modal mu-calculus

Cleaveland, R., Iyer, S. P., & Narasimha, M. (2005, April 21). Theoretical Computer Science.

By: R. Cleaveland*, S. Iyer n & M. Narasimha*

author keywords: probabilistic transition systems; reactive systems; probabilistic temporal logic; model-checking; Probabilistic bisimulation
topics (OpenAlex): Formal Methods in Verification; Logic, Reasoning, and Knowledge
TL;DR: A mu-calculus-based modal logic for describing properties of probabilistic labeled transition systems (PLTSs) and a model-checking algorithm for determining whether or not states in finite-state PLTSs satisfy formulas in the logic are presented. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

1999 chapter

Probabilistic temporal logics via the modal mu-calculus

In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.

By: M. Narasimha, R. Cleaveland & P. Iyer

Ed(s):

Source: NC State University Libraries
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.