Keyphrases
Adaptive Cruise Control
20%
Adversary
10%
Arbitrary Precision
5%
Behavioural Metrics
13%
Bilinear
6%
Bilinear Programming
33%
Bisimilarity Distances
26%
Collective Adaptive Systems
40%
Compositional Learning
20%
Compositional Synthesis
6%
Computational Gain
10%
Computational Tasks
6%
Deduction System
20%
Deductive System
10%
Equational Logic
10%
Expectation Maximization
6%
Finite Markov Chain
13%
Fundamental Challenges
10%
Game Model
10%
Generation Optimization
10%
Generic Distributions
5%
Healthcare
10%
Heterogeneous Components
10%
Home Automation
10%
Hybrid Switching Systems
6%
Kantorovich
6%
Kantorovich Distance
10%
Kleene
10%
Labelled Markov Chains
10%
Linear Metric
20%
LTL Model Checking
6%
Markov Chain
20%
Metric Basis
20%
Minimal Distance
6%
Minimization Problem
6%
Mobile Communication
10%
Multi-lane Roads
10%
Multi-lane Spatial Logic
10%
Non-deterministic Semantics
10%
NP-hard
6%
Numerical Minimization
40%
On-demand Synthesis
6%
Operator Formula
6%
Optimal Approximation
13%
Positive Integer
6%
Positive Realness
5%
Probabilistic Transition Systems
5%
Program Characterization
6%
Program Implementation
6%
PSPACE-hard
13%
Quantitative Model Checking
10%
Quantitative Objectives
10%
Safety Controllers
10%
Sampling Framework
10%
Scalable Methodology
6%
Semi-Markov Chain
20%
Stratego
20%
Strategy Space
10%
Strategy System
10%
Suboptimal Solutions
6%
Symbolic Analysis
10%
Symbolic Simulation
10%
System Synthesis
40%
Threshold Problem
11%
Time Distance
6%
Time Metrics
13%
Timing System
10%
Tool Usage
10%
Total Variation Distance
20%
Transformation Algorithm
10%
Tutorial Paper
10%
UPPAAL
10%
UPPAAL-SMC
20%
Verication
10%
Verification Algorithm
10%
Zero-sum Game
40%
ω-languages
5%
Computer Science
Adaptive Systems
40%
Approximation (Algorithm)
16%
Axiomatization
40%
Branching Time
6%
Case Study
20%
Deductive System
6%
Equational System
13%
Experimental Result
10%
Health Care
10%
Home Automation
10%
Importance Sampling
20%
Markov Chain
100%
Minimal Distance
10%
Minimization Problem
10%
Model Checking
50%
Model Checking Problem
6%
Polynomial Time
6%
Positive Integer
10%
Positive Real Line
5%
Query Language
20%
System Strategy
10%
Theoretic Framework
10%
Timed Automaton
20%
Total Variation
20%
Trace Distance
6%
Usage Scenario
20%
Mathematics
Approximant
13%
Approximates
40%
Arbitrary Precision
5%
Coincides
5%
Continuous Time
5%
Decidability
5%
Linear Time
13%
Logic Equation
16%
Markov Chain
100%
Minimal Distance
11%
Open Problem
5%
Pointwise
6%
Polynomial Time
6%
Positive Integer
11%
Probability Distribution
6%
Probability Theory
6%
Pseudometric
6%
Real Line
5%
Representation Theorem
6%
State Markov Chain
6%
Stochastics
20%
Total Variation
5%
Total Variation Distance
20%
Trace Distance
6%