( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.

, , , , , и . IJCAI, стр. 5532-5539. ijcai.org, (2019)

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.

Constance Carr

Hugo Carr

Fritz Carr

Caitriona Carr

Catherine Carr

 

Другие публикации лиц с тем же именем

Decentralized Classification with Assume-Guarantee Planning., , , , , , , , и . IROS, стр. 9826-9832. IEEE, (2021)Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility., , , и . IEEE Trans. Control. Netw. Syst., 8 (2): 598-608 (2021)Resilient Distributed Hypothesis Testing with Time-Varying Network Topology., , , , и . ACC, стр. 1483-1488. IEEE, (2020)Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *., , и . CCTA, стр. 1115-1121. IEEE, (2023)Brain Intracranial Hemorrhage Segmentation using Unsupervised Learning on Volume CT Images., , и . AIPR, стр. 1-5. IEEE, (2021)Traffic Management for Urban Air Mobility., , , , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2019)Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks., , , , , и . IJCAI, стр. 5532-5539. ijcai.org, (2019)Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints., , и . IJCAI, стр. 4121-4127. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Fine-Tuning Language Models Using Formal Methods Feedback., , , , , , и . CoRR, (2023)Dynamic Certification for Autonomous Systems., , , и . Commun. ACM, 66 (9): 64-72 (сентября 2023)