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