External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray. Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 271-276, Elsevier, 2018. [doi]

Authors

Sofie Haesaert

This author has not been identified. Look up 'Sofie Haesaert' in Google

Petter Nilsson

This author has not been identified. Look up 'Petter Nilsson' in Google

Cristian Ioan Vasile

This author has not been identified. Look up 'Cristian Ioan Vasile' in Google

Rohan Thakker

This author has not been identified. Look up 'Rohan Thakker' in Google

Ali-akbar Agha-mohammadi

This author has not been identified. Look up 'Ali-akbar Agha-mohammadi' in Google

Aaron D. Ames

This author has not been identified. Look up 'Aaron D. Ames' in Google

Richard M. Murray

This author has not been identified. Look up 'Richard M. Murray' in Google
runs on