It usually works: The temporal logic of stochastic systems-Reference-Cited by-同舟云学术

It usually works: The temporal logic of stochastic systems

Published:1995 Issue: Volume: Page:155-165
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Aziz Adnan,Singhal Vigyan,Balarin Felice,Brayton Robert K.,Sangiovanni-Vincentelli Alberto L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60045-0_48.pdf

Reference20 articles.

1. R. Alur, C. Courcoubetis, and D. Dill. Model Checking for Probabilistic Real Time Systems. In Proc. of the Colloquium on Automata, Languages, and Programming, pages 115–126, 1991.

2. A. Aziz, V. Singhal, F. Balarin, R. K. Brayton, and A. Sangiovanni-Vincentelli. It Usually Works: The Temporal Logic of Stochastic Systems. http://www-cad.eecs.berkeley.edu:80/ãdnan/cav95.1.

3. A. Aziz, V. Singhal, F. Balarin, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. Equivalences for Fair Kripke Structures. In International Colloquium on Automata, Languages and Programming. Springer Verlag, July 1994.

4. R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic Decision Diagrams and their Applications. In Proc. Intl. Conf. on Computer-Aided Design, pages 188–192, 1993.

5. M. Ben-Or, D. Kozen, and J. Reif. The Complexity of Elementary Algebra and Geometry. In Proc. ACM Symposium on the Theory of Computing, pages 457–464, 1984.

Cited by 84 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Stochastic Best-Effort Strategies for Borel Goals;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

2. PM2PMC: A Probabilistic Model Checking Approach in Process Mining;2023 IEEE IAS Global Conference on Emerging Technologies (GlobConET);2023-05-19

3. On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems;Formal Techniques for Distributed Objects, Components, and Systems;2023

4. Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking;International Journal of Software Engineering and Knowledge Engineering;2022-07

5. Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach;International Journal of Software Engineering and Knowledge Engineering;2022-02