3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2023
Reinforcement Logic Rule Learning for Temporal Point Processes
Chao Yang, Lu Wang, Kun Gao +1
We propose a framework that can incrementally expand the explanatory temporal logic rule set to explain the occurrence of temporal events. Leveraging the temporal point process mod…
cs.RO2021★ 3 cited
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
Ruidong Han, Chao Yang, Siqi Ma +4
In order to support a variety of missions and deal with different flight environments, drone control programs typically provide configurable control parameters. However, such a fle…