Skip to content
Home
About
Research
People
News
Publications
Events
About
Research
People
News
Publications
Events
Search for:
Search
Search Close
H. Lin
,
"
Permissive Supervisor Synthesis for Markov Decision Processes through Learning
"
accepted by IEEE Transactions on Automatic Control, Nov. 2018
Cognition
Computational modeling
Markov processes
Model checking
Probabilistic logic
Process control
Robots
Nov. 2018