Computer Science
Model Checking
100%
Statistical Model
69%
Timed Automaton
51%
Real Time Systems
37%
Case Study
30%
Schedulability Analysis
16%
Hybrid Automaton
16%
Conformance Testing
15%
model checker
13%
Cyber Physical Systems
13%
Machine Learning
10%
hard real-time
8%
Software Systems
7%
Continuous Time
7%
model based testing
6%
Input/Output
6%
Scheduling Policy
6%
Architectural Model
6%
Mock-up
6%
Usage Scenario
6%
Adaptive Cruise Control
6%
Industrial Case
6%
Abstract Behavior
6%
Parallelism
6%
Criticality
6%
Nash Equilibrium
6%
Biological System
6%
Embedded Systems
6%
Error Detection
6%
Simulation Engine
6%
Query Language
6%
Communication Latency
6%
Theoretical Study
6%
Resource Model
6%
Temporal Logic
6%
Time Constraint
6%
Conformance Level
6%
Importance Sampling
6%
Embedded Software
6%
Convergence Property
6%
System Analysis
6%
Optimal Strategy
6%
Keyphrases
UPPAAL-SMC
20%
Statistical Model Checking
13%
Online Testing
13%
UPPAAL
10%
Testing Tools
10%
Conformance Checking
10%
Non-deterministic Semantics
8%
Hierarchical Scheduling
6%
Scheduling Policy
6%
Cyber-physical Systems
6%
Adaptive Cruise Control
6%
Stratego
6%
SpaceEx
6%
Undecidable Problem
6%
Sporadic Tasks
6%
Mixed-criticality Real-time Systems
6%
Online Model-based Testing
6%
Priced Timed Automata
6%
Nash Equilibrium
6%
Planck
6%
Remote Testing
6%
Stochastic Hybrid Systems
6%
Timed Automata Model
6%
Hierarchical Scheduling Systems
6%
System Level
6%
Fluid Model Checking
6%
Real-time Constraints
6%
Real-time Systems
6%
Compositional Testing
6%
Industrial Cooling
6%
Compositional Learning
6%
Embedded Software Systems
6%
Guaranteed Control
6%
Near-optimal Strategy
6%
Controller
6%
Human Heart
6%
Verification of Cyber-physical Systems
6%
Evolving Environment
6%
EAST-ADL
6%
Resource Model
5%
Engineering
Floors
13%
Adaptive Cruise Control
13%
Statistical Model
13%
Controller Synthesis
12%
Heating System
7%
Continuous System
6%
Stochastic Hybrid Model
6%
Control Synthesis
6%
Black Box
6%
Observability
6%
Test Setup
6%
Testability
6%
Discrete Signal
6%
Indeterminacy
6%
Continuous Signal
6%
Fluid Model
6%
Control Strategy
5%