Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- A Categorical Characterization of Consistency Results +
- A Compositional Framework for Controller Synthesis +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A note on the attractor-property of infinite-state Markov chains +
- A uniform framework for modeling and verifying components and connectors +
- Admissibility in Probabilistic Argumentation +
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata +
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains +
- Automated Performance and Dependability Evaluation Using Model Checking +
- Automatic Verification of Liveness Properties of Randomized Systems +
- Backward Responsibility in Transition Systems Using General Power Indices +
- Causality-Based Game Solving +
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes +
- Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code +
- Comparative Branching-Time Semantics +
- Comparative branching-time semantics for Markov chains +
- Components in Probabilistic Systems: Suitable by Construction +
- Computing Conditional Probabilities in Markovian Models Efficiently +
- Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems +
- Controller Synthesis for Probabilistic Systems +
- Cost-Utility Analysis in Probabilistic Models +
- Deciding Bisimilarity and Similarity for Probabilistic Processes +
- Denotational Linear Time Semantics and Sequential Composition +
- Denotational Semantics in the CPO and Metric Approach +
- Design and Verification of Systems with Exogenous Coordination Using Vereofy +
- Domain equations for probabilistic processes +
- Domain equations for probabilistic processes +
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes +
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes +
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking +
- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination +
- Energy-Utility Quantiles +
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes +
- Entropic Risk for Turn-Based Stochastic Games +
- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach +
- Formal Verification for Components and Connectors +
- Foundations of probability-raising causality in Markov decision processes +
- From Verification to Causality-Based Explications +
- From Verification to Synthesis under Cost-Utility Constraints +
- Generic Emptiness Check for Fun and Profit +
- Greener Bits: Formal Analysis of Demand Response +
- How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages +
- Locks: Picking key methods for a scalable quantitative analysis +
- Long-run Satisfaction of Path Properties +
- Markov Chains and Unambiguous Büchi Automata +
- Maximizing the Conditional Expected Reward for Reaching the Goal +
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms +
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms +
- Metric Semantics for True Concurrent Real Time +
- Metric Semantics from Partial Order Semantics +
