Supervisor synthesis of POMDP via automata learning (Q2665148)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7429776
Language Label Description Also known as
default for all languages
No label defined
    English
    Supervisor synthesis of POMDP via automata learning
    scientific article; zbMATH DE number 7429776

      Statements

      Supervisor synthesis of POMDP via automata learning (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      18 November 2021
      0 references
      partially observable Markov decision process
      0 references
      supervisory control
      0 references
      formal methods
      0 references
      automata learning
      0 references
      0 references
      0 references

      Identifiers