Brian Nielsen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yingke Chen

> Home > Persons > Brian Nielsen

Publications

2016
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ml/MaoCJNLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/MaoCJNLN16
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning deterministic probabilistic automata from a model checking perspective. Mach. Learn. 105(2): 255-299 (2016)
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ChenMJNLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ChenMJNLN12
Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen:
Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3873
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63
2011
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/MaoCJNLN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/MaoCJNLN11
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.