Jie An

MaRDI QIDQ2050094zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning deterministic multi-clock timed automata	2025-04-25	Paper
Online causation monitoring of signal temporal logic	2024-02-01	Paper
Learning deterministic one-clock timed automata via mutation testing Automated Technology for Verification and Analysis	2023-06-02	Paper
Active learning of one-clock timed automata using constraint solving Automated Technology for Verification and Analysis	2023-06-02	Paper
Learning one-clock timed automata Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Inferring switched nonlinear dynamical systems Formal Aspects of Computing	2021-08-30	Paper
Advances in model checking of extended linear duration invariants	2020-08-12	Paper
NIL: learning nonlinear interpolants (available as arXiv preprint)	2020-03-10	Paper
Verifying continuous-time duration calculus against real-time automaton	2020-01-22	Paper
Model checking bounded continuous-time extended linear duration invariants Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper

Research outcomes over time

This page was built for person: Jie An