Search Results for author:
Found 2 papers, 2 papers with code
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving
Especially in real-world application domains, such as autonomous driving, auto-curriculum generation is considered vital for obtaining robust and general policies.
Temporal Logic as Filtering
We also provide a quantitative semantics for MTL, which measures the normalized, maximum number of times a formula is satisfied within its associated kernel, by a given signal.
Logic in Computer Science 03B44 F.4.1; D.3.1
Cannot find the paper you are looking for? You can
Submit a new open access paper.
