Author of the publication

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

, , , , and . AAAI, page 7647-7656. AAAI Press, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Active Learning of Abstract System Models from Traces using Model Checking., , and . DATE, page 100-103. IEEE, (2022)Learning symbolic abstractions from system execution traces.. University of Oxford, UK, (2022)British Library, EThOS.Active Learning of Abstract System Models from Traces using Model Checking Extended., , and . CoRR, (2021)CoCoA++: Delay gradient based congestion control for Internet of Things., , , , and . Future Gener. Comput. Syst., (2019)Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System., and . SysCon, page 1-6. IEEE, (2020)Learning Concise Models from Long Execution Traces., , , and . DAC, page 1-6. IEEE, (2020)Enhancing active model learning with equivalence checking using simulation relations., , and . Formal Methods Syst. Des., 61 (2): 164-197 (December 2022)Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally., and . SysCon, page 1-7. IEEE, (2021)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , and . AAAI, page 7647-7656. AAAI Press, (2021)DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , and . CoRR, (2019)