Cited By
View all- Fan YWang M(2024)Specification Mining Based on the Ordering Points to Identify the Clustering Structure Clustering Algorithm and Model CheckingAlgorithms10.3390/a1701002817:1(28)Online publication date: 10-Jan-2024
- Valizadeh MFijalkow NBerger M(2024)LTL Learning on GPUsComputer Aided Verification10.1007/978-3-031-65633-0_10(209-231)Online publication date: 24-Jul-2024
- Shah AKamath PLi SCraven PLanders KOden KShah J(2023)Supervised Bayesian specification inference from demonstrationsThe International Journal of Robotics Research10.1177/0278364923120465942:14(1245-1264)Online publication date: 4-Oct-2023
- Show More Cited By