conftrace_

timed automata

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

platform constraint (1) plan transformation (1) event log (1) deterministic automaton (1) reachability analysis (1) automaton learning (1) timed automaton (1) model learning (1) real-time system (1) task planning (1)

Papers

TAG: Learning Timed Automata from Logs AAAI 2022 Passive learning of Timed Automata from logs (Student Abstract) AAAI 2021 Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints IJCAI 2021