起始页：1

关键词：

作者： Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee    起始页：1

关键词： Embedded systems, Runtime, Computational modeling, Organizations, Cyber-physical systems, Throughput, Timing

起始页：3

关键词：

起始页：5

关键词：

作者： Pauline Blohm, Julius Adelt, Paula Herber    起始页：12

关键词： Runtime, Learning automata, Model checking, Traffic control, Software, Behavioral sciences, Safety

作者： Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich    起始页：23

关键词： Computational modeling, Reinforcement learning, Evolutionary computation, Search problems, Probabilistic logic, Hybrid power systems, Real-time systems

作者： Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best    起始页：36

关键词： Deep learning, Design methodology, Reinforcement learning, Cyber-physical systems, Test pattern generators, Autonomous vehicles, System analysis and design

作者： Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee    起始页：47

关键词： Analytical models, Computational modeling, Interactive systems, Linear programming, Planning, Space exploration, Artificial intelligence

作者： Anoop Bhagyanath, Nadine Kercher, Klaus Schneider    起始页：59

关键词： Schedules, Program processors, Codes, Processor scheduling, Interference, Scheduling, Behavioral sciences

作者： Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee    起始页：71

关键词： Sequential analysis, Reinforcement learning, Model checking, Benchmark testing, Hardware, Task analysis, Software tools