Keyphrases
Weighted Logic
44%
Labelled Weighted Transition System
33%
Semi-Markov Process
22%
Total Variation Distance
22%
Cyber-physical Systems
22%
Adaptive Cruise Control
22%
Semi-Markov Chain
22%
Stratego
22%
Weighted Transition Systems
22%
SpaceEx
22%
Deduction System
22%
Hemimetric
22%
Semi-Markov Decision Process
22%
On-the-fly Computation
22%
Numerical Minimization
22%
Bisimilarity Distances
22%
Cyber-physical
22%
Linear Metric
22%
UPPAAL-SMC
22%
Bilinear Programming
14%
Time Metrics
14%
Satisfiability Problem
12%
Safety Controllers
11%
Multi-lane Spatial Logic
11%
Multi-lane Roads
11%
Strategy Space
11%
Generation Optimization
11%
Transformation Algorithm
11%
Tool Usage
11%
Tutorial Paper
11%
UPPAAL
11%
Functional Mock-up
11%
Timed Logics
11%
SimBiology
11%
Kleene
11%
Kantorovich Distance
11%
Equational Logic
11%
Verification Algorithm
11%
Labelled Markov Chains
11%
Deductive System
11%
Symbolic Simulation
11%
Computational Gain
11%
Sampling Framework
11%
Symbolic Analysis
11%
Timing System
11%
Non-deterministic Semantics
11%
Program Characterization
8%
Finite Markov Chain
7%
Optimal Approximation
7%
Atomic Proposition
7%
Continuous-time Markov Decision Process (CTMDP)
7%
Behavioural Metrics
7%
PSPACE-hard
7%
Kantorovich
7%
LTL Model Checking
7%
Time Distance
7%
Operator Formula
7%
One-variable
5%
Engineering Practice
5%
Mobile Phone
5%
Positive Realness
5%
Generic Distributions
5%
Probabilistic Transition Systems
5%
Threshold Problem
5%
Arbitrary Precision
5%
Quantitative Aspects
5%
Resource Type
5%
Multimodal Logic
5%
Qualitative Properties
5%
Quantitative Properties
5%
System Embedded
5%
General Well-being
5%
Minimal Values
5%
Cytoscape
5%
Satisfiability Checking
5%
Intelligent Systems
5%
Logical Properties
5%
Fault-tolerant
5%
Syntactic Operator
5%
Train Station
5%
Real-time Systems
5%
First-order
5%
Mathematical Modeling
5%
Well-founded
5%
Embedded Software Systems
5%
Transition System
5%
Service Layer
5%
Hacker Attacks
5%
Unauthorized Use
5%
Execution Platform
5%
Road Hazards
5%
Insulin Pen
5%
Road Condition
5%
Preemptive Scheduler
5%
Optimal Speed
5%
Car Park
5%
Construction Technique
5%
Specific Settings
5%
Network-based Systems
5%
Security Aspects
5%
Ticket Machine
5%
Process Algebra
5%
Platform Protocol
5%
ω-languages
5%
Collaborative Efforts
5%
Recursive Formula
5%
Timed Automata
5%
Self-organizing Networks
5%
Communication Protocol
5%
Computer Science
Model Checking
100%
Markov Chain
88%
Statistical Model
55%
Axiomatization
55%
Transition System
44%
Approximation (Algorithm)
44%
Timed Automaton
33%
Continuous Time
26%
Case Study
25%
Cyber Physical Systems
22%
Usage Scenario
22%
Mock-up
22%
Markov Decision Process
22%
Linear Program
22%
Total Variation
22%
Biological System
22%
Importance Sampling
22%
Markov Process
22%
Query Language
22%
Time Markov Chain
20%
Equational System
14%
Software Systems
14%
Polynomial Time
11%
Composite Model
11%
Simulation Engine
11%
Finite Model Property
11%
Positive Real Line
11%
Experimental Result
11%
Recursive Equation
11%
Dependent Behavior
10%
Schedulability Analysis
9%
State Space
8%
Model Checking Problem
7%
Deductive System
7%
Trace Distance
7%
Branching Time
7%
discrete-time
7%
Checking Technique
6%
Response Time
6%
Satisfiability Problem
5%
Execution Platform
5%
Intelligent Software
5%
Process Algebra
5%
Embedded Software
5%
Fault Tolerant
5%
Network Protocols
5%
Syntactics
5%
Order Variable
5%
Real Time Systems
5%
Speed-up
5%
Atomic Proposition
5%
Mathematical Modeling
5%
Research Results
5%
Security Aspect
5%
Positive Integer
5%
Parallel Composition
5%
Minimal Distance
5%
Practical Significance
5%
Minimization Problem
5%
Mathematics
Markov Chain
88%
Recursive Equation
44%
Labelled Transition System
44%
Decidability
27%
Open Problem
27%
Total Variation Distance
22%
Expressiveness
22%
Approximates
22%
Time System
22%
Variable Order
22%
Stone Space
22%
Countable Set
22%
Open Question
22%
Semi-Markov Process
22%
Real Number
22%
Markov Decision Process
22%
Stochastics
22%
Logic Equation
18%
Approximant
14%
Linear Time
14%
Real Line
11%
Continuous Time
11%
Probability Distribution
7%
Probability Theory
7%
Representation Theorem
7%
Pseudometric
7%
Pointwise
7%
Minimal Distance
7%
State Markov Chain
7%
Positive Integer
7%
Trace Distance
7%
Polynomial Time
7%
Arbitrary Precision
5%
Coincides
5%
Proposition
5%
Total Variation
5%