PAC Learning of Deterministic One-Clock Timed Automata.
Wei ShenJie AnBohua ZhanMiaomiao ZhangBai XueNaijun ZhanPublished in: ICFEM (2020)
Keyphrases
- pac learning
- timed automata
- uniform distribution
- model checking
- computational learning theory
- learning theory
- learning problems
- sample size
- sample complexity
- theorem proving
- theorem prover
- concept classes
- membership queries
- first order logic
- vc dimension
- temporal logic
- real time systems
- theoretical analysis
- concept class
- active learning
- learning process
- boolean functions
- decision lists
- memory based learning