A logic for reasoning about time and reliability

Cited by (1,001)

Items 901–1,000 of 1,001

1. OBLIGATION BLACKWELL GAMES AND P-AUTOMATA
   Krishnendu Chatterjee, Nir Piterman · 2017 · Journal of Symbolic Logic
2. From Formal Specification in Event-B to Probabilistic Reliability Assessment
   Anton Tarasyuk, Elena Troubitsynå, Linas Laibinis · 2010 · International Conference on Dependability (DEPEND)
3. Determination of delay times in failure afflicted networked automation systems using probabilistic model checking
   Jürgen Greifeneder, Georg Frey · 2006 · IEEE International Workshop on Factory Communication Systems (WFCS)
4. Near-Optimal Scheduling for LTL with Future Discounting
   Shota Nakagawa, Ichiro Hasuo A · 2016 · Lecture notes in computer science
5. Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks
   M. Carmen Ruiz, Hermenegilda Macià, J.A. Mateo, José Luís Calleja · 2016 · Procedia Computer Science
6. Caching Strategies for Run-time Probabilistic Model Checking.
   Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya · 2016
7. Incremental Bisimulation Abstraction Refinement
   Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen · 2014 · ACM Transactions on Embedded Computing Systems
8. Qualitative Reachability for Open Interval Markov Chains
   Jeremy Sproston · 2018 · Lecture notes in computer science
9. Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
   Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang · 2015 · ACM SIGPLAN Notices
10. On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
    Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins · 2021 · IEEE International Conference on Software Quality, Reliability and Security (QRS)
11. A methodology for dependability and performability analysis in SAM
    Tianjun Shi, Xudong He · 2004 · International Conference on Dependable Systems & Networks/Proceedings
12. Stochastic Temporal Logic Abstractions: Challenges and Opportunities
    Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan · 2018 · Lecture notes in computer science
13. On-the-fly Fast Mean-Field Model-Checking: Extended Version
    Diego Latella, Michele Loreti, Mieke Massink · 2013 · arXiv (Cornell University)
14. Modeling the temporal behavior of complex embedded systems : a reverse engineering approach
    Johan Andersson · 2005 · DiVA (Mälardalen University College)
15. Rigorous System-level Modeling and Performance Evaluation for Embedded System Design
    Ayoub Nouri · 2015
16. VERIFICATION AND PREDICTION OF TIMED PROBABILISTIC PROPERTIES OVER THE DMTF CIM
    Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera · 2006 · International Journal of Cooperative Information Systems
17. Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
    Ukachukwu Ndukwu · 2009 · Electronic Proceedings in Theoretical Computer Science
18. An Expressive Probabilistic Temporal Logic
    Bruno Woltzenlogel Paleo · 2016 · arXiv (Cornell University)
19. Lazy Determinisation for Quantitative Model Checking.
    Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang · 2013 · arXiv (Cornell University)
20. Design of Approaches for Dependability and Initial Prototypes
    Antonia Bertolino, Antonello Calabrò, Silvano Chiaradonna, Gabriele Costa, Félicita Di Giandomenico, Antinisca Di Marco, Mario Fusani, Fabrizio Grandoni, Valérie Issarny, Marta Kwiatkowska et al. · 2011 · HAL
21. Methods for Reachability-based Hybrid Controller Design
    Jerry Ding · 2012
22. Probabilistic Model Checking: Applications and Trends
    Marta Kwiatkowska, Gethin Norman, David Parker · 2025 · Lecture notes in computer science
23. Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games
    Abdelhakim Baouya, Brahim Hamid, Otmane Aı̈t Mohamed, Saddek Bensalem · 2025 · Journal of Systems and Software
24. Verification of Real-Time Systems using Statistical Model Checking
    Jeffery P. Hansen, Lutz Wrage · 2015 · AIAA Infotech@Aerospace Conference
25. On the modeling and verification of the spread of fake news, algebraically
    Alessandro Aldini · 2022 · Journal of Logic and Computation
26. Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods
    Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez · 2023 · Proceedings of the International Conference on Automated Planning and Scheduling
27. A normative approach for resilient multiagent systems
    Geeta Mahala, Özgür Kafalı, Hoa Khanh Dam, Aditya Ghose, Munindar Paul Singh · 2023 · Autonomous Agents and Multi-Agent Systems
28. Predicting Nonfunctional Requirement Violations in Autonomous Systems
    Xinwei Fang, Sinem Getir Yaman, Radu Călinescu, Julie C. Wilson, Colin Paterson · 2023 · ACM Transactions on Autonomous and Adaptive Systems
29. Probabilistic temporal logic with countably additive semantics
    Dragan Doder, Zoran Ognjanović · 2023 · Annals of Pure and Applied Logic
30. Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
    Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa · 2025 · Formal Aspects of Computing
31. A Formal Language toward the Unification of Model Checking and Performance Evaluation
    Andrew S. Miner, Yaping Jing · 2010 · Lecture notes in computer science
32. Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
    Silvia Crafa A, Francesco Ranzato · 2014 · ACM Transactions on Computational Logic
33. An analysis for proving probabilistic termination of biological systems
    Roberta Gori B, Francesca Levi · 2012 · Theoretical Computer Science
34. On Incremental Quantitative Verification for Probabilistic Systems
    Marta Kwiatkowska, David Parker, Hongyang Qu B, Mateusz Ujma · 2018 · EPiC series in computing
35. Security analysis of multi-party quantum private comparison protocol by model checking
    Fan Yang, Guowu Yang, Yu‐Jie Hao, Qing-bin Luo, Yuqi Wang · 2015 · Modern Physics Letters B
36. Evaluation of properties over phylogenetic trees using stochastic logics
    José Ignacio Requeno, José Manuel Colom · 2016 · BMC Bioinformatics
37. Quantitative Reasoning About Dependability in Event-B
    Anton Tarasyuk, Elena Troubitsynå, Linas Laibinis · 2011 · Advances in computer and electrical engineering book series
38. Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
    Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Campos, Annabelle K. McIver · 2017 · Lecture notes in computer science
39. Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
    Nathalie Bertrand, Benjamin Bordais, Loı̈c Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur · 2019 · Lecture notes in computer science
40. Test model coverage analysis under uncertainty: extended version
    I. S. W. B. Prasetya, Rick Klomp · 2021 · Software & Systems Modeling
41. Towards Scalable Multi-robot Systems by Partitioning the Task Domain
    Brendan Devlin-Hill, Radu Călinescu, Javier Cámara, Ipek Caliskanelli · 2022 · Lecture notes in computer science
42. Refinement and Difference for Probabilistic Automata
    Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay · 2013 · Lecture notes in computer science
43. Introducing robust reachability
    Guillaume Girol, Benjamin Farinier, Sébastien Bardin · 2022 · Formal Methods in System Design
44. Towards logical foundations for probabilistic computation
    Melissa Antonelli, Ugo Dal Lago, Paolo Pistone · 2023 · Annals of Pure and Applied Logic
45. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
    Sven Schneider, Maria Maximova, Holger Giese · 2023 · Journal of Logical and Algebraic Methods in Programming
46. The Finite Satisfiability Problem for PCTL is Undecidable
    Miroslav Chodil, Antonı́n Kučera · 2024 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
47. Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
    Diego Latella, Michele Loreti, Mieke Massink · 2015 · Lecture notes in computer science
48. Time and probabilities in specification and verification of real-time systems
    Hans Hansson · 1992 · Euromicro Conference on Real-Time Systems (ECRTS)
49. Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications
    Wei Wan, Jamal Bentahar, Hamdi Yahyaoui, A. Ben Hamza · 2016 · Applied Intelligence
50. A method for automating token causal explanation and discovery
    Min Zheng, Samantha Kleinberg · 2017 · The Florida AI Research Society
51. From verification to synthesis under cost-utility constraints
    Christel Baier A, Clemens Dubslaff · 2018 · ACM SIGLOG News
52. MSO+∇ is undecidable
    Mikołaj Bojańczyk, Edon Kelmendi, Michał Skrzypczak · 2019 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
53. Test Model Coverage Analysis Under Uncertainty
    I. S. W. B. Prasetya, Rick Klomp · 2019 · Lecture notes in computer science
54. Model Checking for Entanglement Swapping
    Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao · 2022 · Lecture notes in computer science
55. Embeddings Between State and Action Based Probabilistic Logics
    Susmoy Das, Arpit Sharma · 2022 · Lecture notes in computer science
56. Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning
    Martin Wirsing, Lenz Belzner · 2023 · Lecture notes in computer science
57. Strategic Abilities of Forgetful Agents in Stochastic Environments
    Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano · 2023 · Principles of Knowledge Representation and Reasoning
58. Feature causality
    Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel · 2023 · Journal of Systems and Software
59. Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers
    Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich · 2023 · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
60. Pure-Past Action Masking
    Giovanni Varricchione, Natasha Alechina, Mehdi M. Dastani, Giuseppe De Giacomo, Brian S. Logan, Giuseppe Perelli · 2024 · Proceedings of the AAAI Conference on Artificial Intelligence
61. A Tutorial on Interactive Markov Chains
    Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi · 2014 · Lecture notes in computer science
62. Probabilistic verification of BGP convergence
    Soroush Haeri, Dario Krešić, Ljiljana Trajković · 2011 · IEEE International Conference on Network Protocols (ICNP)
63. Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System
    Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guang Guo, Huibiao Zhu, Huixing Fang, Xin Ye · 2012 · International Symposium on Theoretical Aspects of Software Engineering (TASE)
64. Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications
    Euler Horta Marinho, Alysson A. Mendonca, Genaína Nunes Rodrigues, Vander Alves, Rodrigo Bonifácio · 2011 · Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS)
65. A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems
    Paul Jennings, Arka P. Ghosh, Samik Basu · 2012 · ACM Transactions on Software Engineering and Methodology
66. Model Checking Functional and Performability Properties of Stochastic Fluid Models
    Marco Gribaudo, András Horváth · 2005 · Electronic Notes in Theoretical Computer Science
67. Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
    Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand · 2016 · Acta Informatica
68. Input Attribution for Statistical Model Checking Using Logistic Regression
    Jeffery P. Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel A. Moreno, David Kyle · 2016 · Lecture notes in computer science
69. Statistical Model Checking of Incomplete Stochastic Systems
    Shiraj Arora, Axel Legay, Tania Richmond, Louis‐Marie Traonouez · 2018 · Lecture notes in computer science
70. Connection models for the Internet-of-Things
    Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen · 2019 · Frontiers of Computer Science
71. Model‐based validation of diagnostic software with application in automotive systems
    Jun shuo Chen, S. Ramesh · 2021 · IET Cyber-Systems and Robotics
72. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
    Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud · 2021 · ACM Transactions on Embedded Computing Systems
73. Formal Methods for Specifying and Analyzing Complex Software Systems
    Xudong He, Huiqun Yu, Yi Deng · 2006 · Springer eBooks
74. Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study
    Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck · 2022 · IEEE World Forum on Internet of Things (WF-IoT)
75. Probabilistic Temporal Reasoning Using Superposition Semantics
    Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza · 2025 · ACM Transactions on Computational Logic
76. A Probabilistic Logic for pTiMo
    Gabriel Ciobanu, Armand Stefan Rotaru · 2013 · Lecture notes in computer science
77. A Coalgebraic Representation of Reduction by Cone of Influence
    Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki · 2006 · Electronic Notes in Theoretical Computer Science
78. Towards efficient protocol design through protocol profiling and verification of performance and operational metrics
    Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli · 2010 · International Wireless Communications and Mobile Computing Conference (IWCMC)
79. SoSL: A Service-Oriented Stochastic Logic
    Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink · 2011 · Lecture notes in computer science
80. Performance Analysis and Formal Verification of Cognitive Wireless Networks
    Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi · 2013 · Lecture notes in computer science
81. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
    Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni · 2017 · Lecture notes in computer science
82. Towards a Structural Proof Theory of Probabilistic $$\mu $$ -Calculi
    Christophe Lucas, Matteo Mio · 2019 · Lecture notes in computer science
83. Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location
    Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, Zhiwu Li · 2019 · IEEE Access
84. Formalizing Performance Evaluation of Mobile Manipulator Robots Using CTML
    Omar Aboul-Enein, Yaping Jing, Roger V. Bostelman · 2020 · ASME International Mechanical Engineering Congress and Exposition (IMECE)
85. Probabilistic Program Performance Analysis
    Ioannis Stefanakos, Radu Călinescu, Simos Gerasimou · 2021 · Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
86. Some approximations in Model Checking and Testing
    Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont · 2013 · arXiv (Cornell University)
87. Black-box probabilistic verification
    Ha╠èkan L. S. Younes · 2018 · Figshare
88. Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
    Annabelle K. McIver · 1999 · Lecture notes in computer science
89. Asynchronous Bounded Expected Delay Networks
    Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang · 2010 · arXiv (Cornell University)
90. Counterexamples in probabilistic verification
    Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen · 2015 · RWTH Publications (RWTH Aachen)
91. On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
    Christel Baier A, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen · 1999 · Electronic Notes in Theoretical Computer Science
92. Statistical Model Checking for Steady State Dependability Verification
    Diana El Rabih, Nihal Pekergin · 2009 · International Conference on Dependability (DEPEND)
93. Finite Horizon Analysis of Stochastic Systems with the Murφ Verifier
    Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli · 2003 · Lecture notes in computer science
94. Robust SOS Specifications of Probabilistic Processes
    E.D. Gebler · 2015 · Data Archiving and Networked Services (DANS)
95. Large scale parallel state space search utilizing graphics processing units and solid state disks
    Damian Sulewski · 2012 · Technische Universität Dortmund Eldorado (Technische Universität Dortmund)
96. The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL
    Jan Křetínský, Alexej Rotar · 2018 · arXiv (Cornell University)
97. A framework for analysis of timing and resource utilization targeting complex embedded systems
    Johan Andersson, Anders Wall, Akil Al-w, Christer Norström · 2006
98. Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems
    Costas Courcoubetis, Stavros Tripakis · 2000 · Springer eBooks
99. Petri Nets for Systems Biology Modelling and Analysis
    Fei Liu, Hiroshi Matsuno, Monika Heiner A · 2022 · Wiley eBooks
100. Assisted design and analysis of attack trees
     Maxime Audinot · 2018