Suche mittels Attribut

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

• From Verification to Synthesis under Cost-Utility Constraints  + (5. März 2025, 13:44:27)
• From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata  + (5. März 2025, 13:44:28)
• Towards Automated Variant Selection for Heterogeneous Tiled Architectures  + (5. März 2025, 13:44:29)
• Model Checking Probabilistic Systems  + (5. März 2025, 13:44:33)
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination  + (5. März 2025, 13:44:34)
• Stochastic Game Logic  + (5. März 2025, 13:44:34)
• From Verification to Causality-Based Explications  + (5. März 2025, 13:44:35)
• Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems  + (5. März 2025, 13:44:38)
• Model Checking Continuous-Time Markov Chains by Transient Analysis  + (5. März 2025, 13:44:38)
• Synthesis of Reo circuits from scenario-based interaction specifications  + (5. März 2025, 13:44:44)
• Christel Baier  + (5. März 2025, 13:44:44)
• Model Checking Markov Chains as Distribution Transformers  + (5. März 2025, 13:44:45)
• Counterfactual Causality for Reachability and Safety based on Distance Functions  + (5. März 2025, 13:44:45)
• Compositional Feature-oriented Systems  + (5. März 2025, 13:44:46)
• Playing Stochastic Games Precisely  + (5. März 2025, 13:44:46)
• ProbMeLa and Verification of Markov Decision Processes  + (5. März 2025, 13:44:51)
• A Hardware/Software Stack for Heterogeneous Systems  + (5. März 2025, 13:44:51)
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat  + (5. März 2025, 13:44:52)
• Causality-Based Game Solving  + (5. März 2025, 13:44:53)
• A Spectrum of Approximate Probabilistic Bisimulations  + (5. März 2025, 13:44:55)
• Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)  + (5. März 2025, 13:44:56)
• High-level modelling and efficiency analysis of randomized protocols  + (5. März 2025, 13:44:56)
• Domain equations for probabilistic processes  + (5. März 2025, 13:44:57)
• Greener Bits: Formal Analysis of Demand Response  + (5. März 2025, 13:44:57)
• Compositional Synthesis and Most General Controllers  + (5. März 2025, 13:44:57)

• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (5. März 2025, 13:45:00)

• A Compositional Framework for Controller Synthesis  + (5. März 2025, 13:45:04)
• Breaking the Limits of Redundancy Systems Analysis  + (5. März 2025, 13:45:05)
• On probability-raising causality in Markov decision processes  + (5. März 2025, 13:45:06)
• Denotational Linear Time Semantics and Sequential Composition  + (5. März 2025, 13:45:06)
• Reachability in Continuous-Time Markov Reward Decision Processes  + (5. März 2025, 13:45:08)
• Symbolic Model Checking for Probabilistic Processes  + (5. März 2025, 13:45:08)
• Comparative branching-time semantics for Markov chains  + (5. März 2025, 13:45:09)
• On topological hierarchies of temporal properties  + (5. März 2025, 13:45:10)
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata  + (5. März 2025, 13:45:10)
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code  + (5. März 2025, 13:45:15)
• Linear dynamical systems with continuous weight functions  + (5. März 2025, 13:45:15)
• Generating compact MTBDD-representations from Probmela specifications  + (5. März 2025, 13:45:16)
• The Hanoi Omega-Automata Format  + (5. März 2025, 13:45:16)
• Ontology-Mediated Probabilistic Model Checking  + (5. März 2025, 13:45:19)
• Model checking meets performance evaluation  + (5. März 2025, 13:45:19)
• Quantitative Characterization of Reconfigurable Transistor Logic Gates  + (5. März 2025, 13:45:19)
• Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata  + (5. März 2025, 13:45:19)
• Static Partial Order Reduction for Probabilistic Concurrent Systems  + (5. März 2025, 13:45:24)
• Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models  + (5. März 2025, 13:45:24)
• QuantLA  + (5. März 2025, 13:45:25)
• Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness  + (5. März 2025, 13:45:25)
• Reduction Methods for Probabilistic Model Checking  + (5. März 2025, 13:45:30)
• Synthesis of Reo Connectors for Strategies and Controllers  + (5. März 2025, 13:45:30)
• Probabilistic Causes in Markov Chains  + (5. März 2025, 13:45:31)
• The variance-penalized stochastic shortest path problem  + (5. März 2025, 13:45:31)