Computer Science
Automaton
58%
Mobile Robot
50%
Multicore
50%
Schedulability Analysis
50%
Predictive Model
50%
Avionics
50%
Noisy Environment
50%
Performance Analysis
50%
digraph
50%
Safe Reinforcement Learning
50%
Model Checking
41%
Reinforcement Learning
25%
Artificial Intelligence
25%
Traffic Light Controller
25%
Model Generator
25%
Mealy Machine
25%
Timed Automaton
25%
Statistical Model
25%
Planning Technique
12%
Software Stack
12%
Replanning
12%
Robot
12%
Route Planning
12%
Physical Simulation
12%
State Space
8%
Full Duplex
8%
Large State Space
8%
Global Analysis
8%
Communication Environment
8%
Switched Ethernet
8%
Ethernet Network
8%
Real Time Systems
7%
Operational Semantics
7%
Real Time Scheduling
7%
Polynomial Time
7%
Scheduling Task
7%
hard real-time
7%
Keyphrases
Observation Tree
50%
State of Charge
50%
Reinforcement Learning
50%
Smart Battery
50%
UPPAAL
50%
Stratego
50%
Battery Pack
41%
Controller
33%
Mixed Inputs
25%
Mealy Machine
25%
Black-box Function
25%
Sorter
25%
Model Generator
25%
Smart Traffic Light
25%
Threshold Method
16%
Avionics Full Duplex Switched Ethernet
12%
Switched Ethernet Networks
12%
Assume-guarantee Reasoning
12%
Direct Verification
12%
Shared Factory
12%
Dynamic Route Planning
12%
Waypoint Planning
12%
Distributed Planning
12%
Station Planning
12%
Q-partition
10%
Balanced State
8%
Heterogeneous Cells
8%
Maximum Variation
8%
Individual Cells
8%
Balance Problems
8%
Cell Characteristics
8%
Q-learning
8%
Cell State
8%
Aging Effect
8%
Two-threshold
8%
Electric Vehicle
8%
Battery Management System
8%
Soft Deadline
7%
Minimum Separation
7%
Pseudo-polynomial Time
7%
Hard Real-time Scheduling
7%
Engineering
Reinforcement Learning
100%
Battery (Electrochemical Energy Engineering)
50%
State of Charge
50%
System-on-Chip
50%
Avionics Integrated Modular System
50%
Unmanned Aerial Vehicle
50%
Battery Pack
41%
Q-Learning
18%
Greedy Approach
10%
Predictive Control Model
10%
Stochastic Model
10%
Cell State
8%
Individual Cell
8%
Battery Management System
8%
Electric Vehicle
8%
