timed alternating automaton

New automata-based approach enhances reinforcement learning for complex control systems

Researchers have developed a new automata-based approach for control synthesis using Signal Temporal Logic (STL). This method addresses challenges in reinforcement learning (RL) for complex systems lacking accurate mode…