Learning Deterministic One-Clock Timed Automata via Mutation Testing.

Xiaochen Tang Wei Shen Miaomiao Zhang Jie An Bohua Zhan Naijun Zhan

Published in: ATVA (2022)

Keyphrases

artificial intelligence
learning process
learning algorithm
reinforcement learning
database
neural network
decision trees
timed automata
knowledge base
computational complexity
data model
database management systems
power consumption
life cycle
theorem prover
mutation testing