Author:
Steffen Bernhard,Howar Falk,Merten Maik
Publisher
Springer Berlin Heidelberg
Cited by
106 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. Building Device Models Using LLMs for Requirements Simulation in Smart Homes;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
3. FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
4. Learning Deterministic Multi-Clock Timed Automata;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
5. Accelerating Finite State Machine-Based Testing Using Reinforcement Learning;IEEE Transactions on Software Engineering;2024-03