A logic for reasoning about time and reliability

Hansson, Hans, Jonsson, Bengt·1994·Formal Aspects of Computing
DOI 10.1007/bf01211866

Cited by (1,001)

Items 401–500 of 1,001

  1. Verifying the Evolution of Probability Distributions Governed by a DTMC
    YoungMin Kwon, Gul Agha · 2010 · IEEE Transactions on Software Engineering
  2. Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems
    Savas Konur, Marian Gheorghe, Ciprian Dragomir, Laurenţiu Mierlă, Florentin Ipate, Natalio Krasnogor · 2014 · ACS Synthetic Biology
  3. Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
    Carla Amor Divino Moreira Delgado, Mario Folhadela Benevides · 2009 · Lecture notes in computer science
  4. A Temporal Logic of Robustness
    Tim French, John Christopher McCabe-Dansted, Mark A Reynolds · 2007 · Lecture notes in computer science
  5. Model Checking CSL until Formulae with Random Time Bounds
    Marta Kwiatkowska, Gethin Norman, António Pacheco · 2002 · Lecture notes in computer science
  6. Techniques for the construction and analysis of algebraic performance models
    Graham Clark · 2000 · ERA
  7. Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
    Johannes Hölzl · 2013
  8. Real-time and Probabilistic Temporal Logics: An Overview
    Savas Konur · 2010 · arXiv (Cornell University)
  9. Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking
    Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, Yvon Savaria · 2015 · Design, Automation, and Test in Europe
  10. Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking
    Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil · 2013 · IEEE Symposium on Reliable Distributed Systems (SRDS)
  11. Correct Probabilistic Model Checking with Floating-Point Arithmetic
    Arnd Hartmanns · 2022 · Lecture notes in computer science
  12. Safety Controller Synthesis for a Mobile Manufacturing Cobot
    Ioannis Stefanakos, Radu Călinescu, James A. Douthwaite, Jonathan M. Aitken, James Law · 2022 · Lecture notes in computer science
  13. Explaining Quality Attribute Tradeoffs in Automated Planning for Self-Adaptive Systems
    Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl · 2022 · Journal of Systems and Software
  14. Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
    Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Călinescu, Sergio García · 2022 · IEEE Transactions on Software Engineering
  15. Evaluating probabilistic models with uncertain model parameters
    Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske · 2012 · Software & Systems Modeling
  16. An effective sequential statistical test for probabilistic monitoring
    Lars Grunske · 2010 · Information and Software Technology
  17. Temporal Verification of Probabilistic Multi-Agent Systems
    Michael Dekhtyar, Alexander Dikovsky, Mars K. Valiev · 2008 · Springer eBooks
  18. A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems
    Savas Konur, Marian Gheorghe · 2014 · IEEE Transactions on Computational Biology and Bioinformatics
  19. An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
    John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian · 2009 · Artificial Intelligence
  20. On-the-fly model checking for extended action-based probabilistic operators
    Radu Mateescu, José Ignacio Requeno · 2018 · International Journal on Software Tools for Technology Transfer
  21. Formal Methods for Dynamic Power Management
    Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla · 2003
  22. A framework for planning in continuous-time stochastic domains
    Håkan L. S. Younes, David J. Musliner, Reid G. Simmons · 2003
  23. Extending PDDL to Model Stochastic Decision Processes
    Håkan L. S. Younes · 2003
  24. Formal methods for the analysis of wireless network protocols
    Matthias Fruth · 2011 · Oxford University Research Archive (ORA) (University of Oxford)
  25. Reasoning about Cognitive Trust in Stochastic Multiagent Systems
    Huang, Xiaowei, Kwiatkowska, Marta, Olejnik, Maciej · 2019 · ACM Transactions on Computational Logic
  26. A Spectrum of Behavioral Relations over LTSs on Probability Distributions
    Silvia Crafa A, Francesco Ranzato · 2011 · Lecture notes in computer science
  27. Cognitive Reasoning and Trust in Human-Robot Interactions
    Marta Kwiatkowska · 2017 · Lecture notes in computer science
  28. Probabilistic Model Checking and Non-standard Multi-objective Reasoning
    Christel Baier A, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich · 2014 · Lecture notes in computer science
  29. Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
    Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar · 2014 · Expert Systems with Applications
  30. Formal verification of a pervasive messaging system
    Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox · 2013 · Formal Aspects of Computing
  31. Scalable Modeling and Performance Evaluation of Wireless Sensor Networks
    YoungMin Kwon, Gul Agha · 2006 · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
  32. Towards foundational verification of cyber-physical systems
    Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner · 2016
  33. Reachability in Augmented Interval Markov Chains
    Ventsislav Chonev · 2019 · Lecture notes in computer science
  34. Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
    Lisa Hutschenreiter, Christel Baier A, Joachim Klein · 2017 · Electronic Proceedings in Theoretical Computer Science
  35. An Efficient Algorithm to Determine Probabilistic Bisimulation
    Jan Friso Groote, Jao Rivera Verduzco, E.P. de Vink · 2018 · Algorithms
  36. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
    Angela Pappagallo, Annalisa Massini, Enrico Tronci · 2020 · Information
  37. Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
    Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor · 2014 · Fundamenta Informaticae
  38. On the Satisfiability of Some Simple Probabilistic Logics
    Souymodip Chakraborty, Joost-Pieter Katoen · 2016 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  39. Model-Checking One-Clock Priced Timed Automata
    Patricia Bouyer, Kim G. Larsen, Nicolas Markey · 2007 · Springer eBooks
  40. Towards a Logic for Performance and Mobility
    Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink · 2006 · Electronic Notes in Theoretical Computer Science
  41. An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems
    Michael Huth · 2004 · Lecture notes in computer science
  42. Exploiting Modal Logic to Express Performance Measures
    Graham Clark, Stephen T. Gilmore, Jane Elizabeth Hillston, Marina Ribaudo · 2000 · Lecture notes in computer science
  43. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
    Alberto Puggelli, Wenchao Li, Alberto Luigi Sangiovanni-Vincentelli, Sanjit Arunkumar Seshia · 2013
  44. Model Checking for Safe Navigation Among Humans
    Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe · 2018 · Lecture notes in computer science
  45. Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance
    Vince Kurtz, Hai Lin · 2019 · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference
  46. Control design for specifications on stochastic hybrid systems
    Maryam Kamgarpour, Sean Summers, John Lygeros · 2013 · International Conference on Hybrid Systems: computation and control
  47. Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
    Marco Bernardo, Rocco De Nicola, Michele Loreti · 2014 · Acta Informatica
  48. Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications
    Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, Yvon Savaria, Claude Thibeault · 2014 · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
  49. Maximal traces and path-based coalgebraic temporal logics
    Corina Ĉırstea · 2011 · Theoretical Computer Science
  50. A logic of probabilistic knowledge and strategy
    Xiaowei Huang, Cheng Luo · 2013
  51. Model Checking MDPs with a Unique Compact Invariant Set of Distributions
    Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon · 2011 · International Conference on the Quantitative Evaluation of Systems (QEST)
  52. Reasoning about Cognitive Trust in Stochastic Multiagent Systems
    Xiaowei Huang, Marta Kwiatkowska · 2017 · Proceedings of the AAAI Conference on Artificial Intelligence
  53. Efficient Parametric Model Checking Using Domain Knowledge
    Radu Călinescu, Colin Paterson, Kenneth R. Johnson · 2019 · IEEE Transactions on Software Engineering
  54. Threat Modelling and Beyond-Novel Approaches to Cyber Secure the Smart Energy System
    Heribert Vallant, Branka Stojanović, Josip Božić, Katharina Hofer-Schmitz · 2021 · Applied Sciences
  55. Verification and Refutation of Probabilistic Specifications via Games
    Mark Kattenbelt, Michael Huth · 2009 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
  56. The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
    Michael Ummels, Dominik Wojtczak · 2009 · Lecture notes in computer science
  57. Counterexamples in Probabilistic LTL Model Checking for Markov Chains
    Matthias Schmalz, Daniele Varacca, Hagen Völzer · 2009 · Lecture notes in computer science
  58. Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
    Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum · 2015 · IEEE Transactions on Software Engineering
  59. Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning
    Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister · 2018 · Lecture notes in computer science
  60. Specification Mining and Robust Design under Uncertainty
    Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan · 2019 · ACM Transactions on Embedded Computing Systems
  61. Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
    Florent Teichteil-Königsbuch · 2012 · Frontiers in artificial intelligence and applications
  62. Simulation-Based CTMC Model Checking: An Empirical Evaluation
    Joost-Pieter Katoen, Ivan S. Zapreev · 2009 · International Conference on the Quantitative Evaluation of Systems (QEST)
  63. Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
    Tingting Han, Joost-Pieter Katoen · 2007 · Springer eBooks
  64. On Convergence and Optimality of Best-Response Learning with Policy Types in Multiagent Systems
    Stefano V. Albrecht, Subramanian Ramamoorthy · 2019 · arXiv (Cornell University)
  65. Approximate Verification of the Symbolic Dynamics of Markov Chains
    Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan · 2012 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  66. Bridging the semantic gap between qualitative and quantitative models of distributed systems
    Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David Basin · 2022 · Proceedings of the ACM on Programming Languages
  67. A linear process-algebraic format with data for probabilistic automata
    Joost-Pieter Katoen, Jaco van de Pol, Mariëlle I. A. Stoelinga, Mark Timmer · 2011 · Theoretical Computer Science
  68. Rare event simulation for highly dependable systems with fast repairs
    Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn R. H. M. Haverkort · 2011 · Performance Evaluation
  69. PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
    Harald Fecher, Michael Huth, Nir Piterman, Daniel Wägner · 2009 · Performance Evaluation
  70. Validation of Formal Models by Timed Probabilistic Simulation
    Fabian Vu, Michaël Leuschel, Atif Mashkoor · 2021 · Lecture notes in computer science
  71. Probabilistic Bigraphs
    Blair Archibald, Muffy Calder, Michele Sevegnani · 2022 · Formal Aspects of Computing
  72. Towards the Verification of Pervasive Systems
    Myrto Arapinis, Muffy Calder, Louise A. Dennis, Fisher, Michael, Philip Gray, Savas Konur, Alice Ann Miller, Eike Ritter, Mark Dermot Ryan, Sven Schewe et al. · 2024
  73. Adding static and dynamic semantics to building information models
    Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh · 2016 · IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)
  74. Probabilistic Delay Time Analysis in Networked Automation Systems
    Jürgen Greifeneder, Georg Frey · 2006 · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
  75. Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions
    Sana Younès, Nihal Pekergin, Mouad Ben Mamoun · 2006 · International Conference on the Quantitative Evaluation of Systems (QEST)
  76. Simulation for Continuous-Time Markov Chains
    Christel Baier A, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. H. M. Haverkort · 2002 · Lecture notes in computer science
  77. Clocks, Dice and Processes
    Taolue Chen · 2009 · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  78. Probabilistic Resource-Aware Session Types
    Ankush Das, Di Wang, Jan Hoffmann · 2023 · Proceedings of the ACM on Programming Languages
  79. Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework
    Maria Casimiro, Diogo Soares, David Garlan, Luı́s Rodrigues, Paolo Romano · 2024 · ACM Transactions on Autonomous and Adaptive Systems
  80. Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]
    Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick · 2025 · IEEE Control Systems
  81. A Temporal Logic with Mean-Payoff Constraints
    Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki · 2012 · Lecture notes in computer science
  82. Consistency and refinement for Interval Markov Chains
    Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel Lykke Pedersen, Andrzej Wąsowski · 2011 · The Journal of Logic and Algebraic Programming
  83. 物联网服务建模: 一种基于环境建模的方法
    LiXing LI, Qiang Wei, Liwei Zheng, Yan XU, Ge Li, Zhi Gang Jin · 2013 · Scientia Sinica Informationis
  84. SOS specifications for uniformly continuous operators
    Daniel Gebler, Simone Tini · 2017 · Journal of Computer and System Sciences
  85. Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference
    Guillaume Girol, Benjamin Farinier, Sébastien Bardin · 2021 · Lecture notes in computer science
  86. Non-determinism and Probabilities in Timed Concurrent Constraint Programming
    Jorge A. Pérez, Camilo Rueda · 2008 · Lecture notes in computer science
  87. An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways
    David Gilbert, Rainer Breitling A, Monika Heiner A, Robin A. Donaldson · 2009 · Lecture notes in computer science
  88. Assurance in Reinforcement Learning Using Quantitative Verification
    George Mason, Radu Călinescu, Daniel Kudenko⋆, Alec Banks · 2017 · Smart innovation, systems and technologies
  89. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
    Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris Johnson · 2014 · Quality and Reliability Engineering International
  90. Model Checking of Open Interval Markov Chains
    Souymodip Chakraborty, Joost-Pieter Katoen · 2015 · Lecture notes in computer science
  91. Reachability in Recursive Markov Decision Processes
    Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt, Antonı́n Kučera · 2006 · Lecture notes in computer science
  92. A modular approach to defining and characterising notions of simulation
    Corina Ĉırstea · 2006 · Information and Computation
  93. A note on the attractor-property of infinite-state Markov chains
    Christel Baier A, Nathalie Bertrand, Philippe Schnoebelen · 2005 · Information Processing Letters
  94. Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models
    Jürgen Greifeneder, Georg Frey · 2006 · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
  95. Automatic Analysis of a Non-Repudiation Protocol
    Ruggero Lanotte A, Andrea Maggiolo-schettini B, Angelo Troina · 2005 · Electronic Notes in Theoretical Computer Science
  96. Analysis of Probabilistic Contract Signing
    Gethin Norman, Vitaly Shmatikov · 2003 · Lecture notes in computer science
  97. Evolutionary Optimization of Production Materials Workflow Processes
    Luke Thomas Herbert, Zaza Nadja Lee Hansen, Peter Jacobsen, Pedro F. Cunha · 2014 · Procedia CIRP
  98. Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach
    Luke Thomas Herbert, Zaza Nadja Lee Hansen · 2015 · Reliability Engineering & System Safety
  99. An approach for lifetime reliability analysis using theorem proving
    Naeem Abbasi, Osman Hasan, Sofiène Tahar · 2013 · Journal of Computer and System Sciences
  100. Means-End Relations and a Measure of Efficacy
    Jesse W. Hughes, Albert Esterline, Bahram Kimiaghalam · 2006 · Journal of Logic Language and Information