Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
