Keyphrases
Numerical Minimization
40%
Self-supporting
40%
Autonomous Computing
40%
Self-powered
40%
Bilinear Programming
33%
Bisimilarity Distances
26%
Embedded Systems
20%
Tight
20%
Total Variation Distance
20%
Metric Basis
20%
Reconfiguration
20%
Adaptive Cruise Control
20%
Semi-Markov Chain
20%
Embedded Platform
20%
Design Process
20%
Low Power
20%
Energy Consumption
20%
System Embedded
20%
Stratego
20%
Quantitative Evaluation
20%
Modeling Tools
20%
System Designer
20%
Markov Chain
20%
SpaceEx
20%
European Companies
20%
Optimal Performance
20%
System Design
20%
Energy Harvesting
20%
Balance Energy
20%
Energy Bounds
20%
Deduction System
20%
Programming Systems
20%
Reliable System
20%
Available Energy
20%
Europe
20%
Reconfigurable Systems
20%
Linear Metric
20%
Error Energy
20%
Optimization Tool
20%
Complete Product
20%
Effective Design
20%
Design Teams
20%
Embedded Components
20%
Quantitative Optimization
20%
UPPAAL-SMC
20%
Task Resources
20%
Embedded Devices
20%
Design Time
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%
Multi-lane Roads
10%
Strategy Space
10%
Generation Optimization
10%
Symbolic Simulation
10%
Computational Gain
10%
Sampling Framework
10%
Symbolic Analysis
10%
Transformation Algorithm
10%
Tool Usage
10%
Tutorial Paper
10%
UPPAAL
10%
Functional Mock-up
10%
Kleene
10%
Timing System
10%
Kantorovich Distance
10%
Equational Logic
10%
Verification Algorithm
10%
Non-deterministic Semantics
10%
Bilinear
6%
Positive Integer
6%
Minimization Problem
6%
NP-hard
6%
Minimal Distance
6%
Expectation Maximization
6%
Kantorovich
6%
Program Characterization
6%
LTL Model Checking
6%
Time Distance
6%
Suboptimal Solutions
6%
Operator Formula
6%
Program Implementation
6%
Positive Realness
5%
Generic Distributions
5%
Probabilistic Transition Systems
5%
Arbitrary Precision
5%
ω-languages
5%
Computer Science
Markov Chain
100%
Model Checking
50%
Embedded System Designer
40%
Reconfigurable System
40%
Quantitative Evaluation
40%
Optimal Performance
40%
Axiomatization
40%
Timed Automaton
20%
Usage Scenario
20%
Mock-up
20%
Total Variation
20%
Importance Sampling
20%
Case Study
20%
Query Language
20%
Approximation (Algorithm)
16%
Equational System
13%
Composite Model
10%
Simulation Engine
10%
Positive Integer
10%
Statistical Model
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%
Pseudometric
6%
Probability Theory
6%
Representation Theorem
6%
Pointwise
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%