Real Time and Such

All About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• Teoria matemática da computação

Formal Methods;Real-Time Systems;Model Checking;Multicore Systems;Embedded Systems;Temporal Logic;Cyber-physical Systems;Timed CCS;Timed Automata;UPPAAL