Swarm signal temporal logic inference for swarm behavior analysis R Yan, Z Xu, A Julius IEEE Robotics and Automation Letters 4 (3), 3021-3028, 2019 | 25 | 2019 |

Neural network for weighted signal temporal logic R Yan, A Julius arXiv preprint arXiv:2104.05435, 2021 | 11 | 2021 |

A decentralized B&B algorithm for motion planning of robot swarms with temporal logic specifications R Yan, A Julius IEEE Robotics and Automation Letters 6 (4), 7389-7396, 2021 | 7 | 2021 |

Stone: Signal temporal logic neural network for time series classification R Yan, A Julius, M Chang, A Fokoue, T Ma, R Uceda-Sosa 2021 International Conference on Data Mining Workshops (ICDMW), 778-787, 2021 | 5 | 2021 |

Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications R Yan, A Julius IEEE Robotics and Automation Letters 7 (4), 9413-9420, 2022 | 4 | 2022 |

Interpretable seizure detection with signal temporal logic neural network R Yan, AA Julius Biomedical Signal Processing and Control 78, 103998, 2022 | 3 | 2022 |

Weighted graph-based signal temporal logic inference using neural networks N Baharisangari, K Hirota, R Yan, A Julius, Z Xu IEEE Control Systems Letters 6, 2096-2101, 2021 | 3 | 2021 |

Weighted clock logic point process R Yan, Y Wen, D Bhattacharjya, R Luss, T Ma, A Fokoue, AA Julius International Conference on Learning Research (ICLR) 2023, 2023 | 2 | 2023 |

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description R Yan, T Ma, A Fokoue, M Chang, A Julius 2022 IEEE International Conference on Data Mining (ICDM), 2022 | 2 | 2022 |

Distributed monitoring of robot swarms with swarm signal temporal logic R Yan, A Julius arXiv preprint arXiv:2004.12473, 2020 | 1 | 2020 |

Research on the resonant frequency of MEMS gyroscopes under varying tuning voltage R Yan, X Wei, C He, Q Zhao, Z Yang, G Yan 10th IEEE International Conference on Nano/Micro Engineered and Molecular …, 2015 | 1 | 2015 |

Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State AA Julius, Y Wen, R Yan 2023 62nd IEEE Conference on Decision and Control (CDC), 8545-8552, 2023 | | 2023 |

System Analysis With Signal Temporal Logic: Monitoring, Motion Planning, and Data Mining R Yan Rensselaer Polytechnic Institute, 2023 | | 2023 |

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks (preprint) N Baharisangari, K Hirota, R Yan, A Julius, Z Xu | | 2021 |