The following pages link to Uli Fahrenberg (Q265803):
Displaying 50 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- (Q847549) (redirect page) (← links)
- Reparametrizations of continuous paths (Q847550) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Computing branching distances using quantitative games (Q2279111) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (Q2842098) (← links)
- (Q2843710) (← links)
- (Q2847422) (← links)
- Refinement and Difference for Probabilistic Automata (Q2878759) (← links)
- General Quantitative Specification Theories with Modalities (Q2907483) (← links)
- (Q2911616) (← links)
- A quantitative characterization of weighted Kripke structures in temporal logic (Q2917301) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Generalized Quantitative Analysis of Metric Transition Systems (Q2937791) (← links)
- Structural Refinement for the Modal nu-Calculus (Q2938159) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- (Q2970258) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Timed automata with observers under energy constraints (Q2985866) (← links)
- Quantitative Refinement for Weighted Modal Transition Systems (Q3088029) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913) (← links)
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- (Q4965817) (← links)
- (Q4989400) (← links)
- (Q5014442) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Domain Semirings United (Q5081413) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- Kleene Algebras and Semimodules for Energy Problems (Q5166679) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
- (Q5275346) (← links)
