Research graph
References from Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/978-3-031-98685-7_8
10.1007/978-3-031-98685-7_8 · External reference
10.65109/upmf7507
10.65109/upmf7507 · External reference
10.1109/ficloud57274.2022.00031
10.1109/ficloud57274.2022.00031 · External reference
10.1016/j.inffus.2025.103468
10.1016/j.inffus.2025.103468 · External reference
10.1016/j.inffus.2023.102048
10.1016/j.inffus.2023.102048 · External reference
10.1007/978-3-031-14391-5_18
10.1007/978-3-031-14391-5_18 · External reference
Directed exploration in reinforcement learning from linear temporal logic
2024 · External reference
10.1016/j.eswa.2023.122856
10.1016/j.eswa.2023.122856 · External reference
10.1007/s10817-024-09702-9
10.1007/s10817-024-09702-9 · External reference
10.3233/faia201002
10.3233/faia201002 · External reference
10.1016/j.jai.2024.12.005
10.1016/j.jai.2024.12.005 · External reference
10.4204/eptcs.391.6
10.4204/eptcs.391.6 · External reference
10.1145/1592761.1592781
10.1145/1592761.1592781 · External reference
Unresolved reference
2018 · External reference
10.3233/fi-2017-1519
10.3233/fi-2017-1519 · External reference
10.1007/978-3-642-20715-0_11
10.1007/978-3-642-20715-0_11 · External reference
10.52202/079017-2742
10.52202/079017-2742 · External reference
10.5220/0012357700003636
10.5220/0012357700003636 · External reference
10.1109/tac.2024.3484290
10.1109/tac.2024.3484290 · External reference
10.1109/tnnls.2022.3227717
10.1109/tnnls.2022.3227717 · External reference
10.24963/ijcai.2022/457
10.24963/ijcai.2022/457 · External reference
10.1109/tnnls.2023.3250269
10.1109/tnnls.2023.3250269 · External reference
10.1007/s42979-025-03854-0
10.1007/s42979-025-03854-0 · External reference
Stable-baselines3: Reliable reinforcement learning implementations
2021 · External reference
Proximal policy optimization algorithms
2017 · External reference
LTL-constrained policy optimization with cycle experience replay
2024 · External reference
10.1016/j.oceaneng.2023.115607
10.1016/j.oceaneng.2023.115607 · External reference
10.1587/transfun.2023kep0016
10.1587/transfun.2023kep0016 · External reference
10.1080/0952813x.2015.1020517
10.1080/0952813x.2015.1020517 · External reference
10.1177/0142331215581638
10.1177/0142331215581638 · External reference
10.1109/tnnls.2022.3207346
10.1109/tnnls.2022.3207346 · External reference
Time-optimal flight in cluttered environments via safe reinforcement learning
2024 · External reference
10.1109/tnnls.2021.3098985
10.1109/tnnls.2021.3098985 · External reference
10.1109/tnnls.2022.3213566
10.1109/tnnls.2022.3213566 · External reference
10.1007/978-3-032-04558-4_3
10.1007/978-3-032-04558-4_3 · External reference
