Learning deterministic probabilistic automata from a model checking perspective - Concepedia

Concepedia

Publication | Open Access

Learning deterministic probabilistic automata from a model checking perspective

DOI Full Paper Access

65

Citations

38

References

2016

Year

Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen

Machine Learning

Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsAutomaton OperationComputer ScienceDeterministic Probabilistic AutomataModel CheckingFormal Verification

References

	Year	Citations

Page 1