Jump to Navigation
Home
MEALS
Mobility between Europe and Argentina applying Logics to Systems

User menu

  • Login

You are here

Home ›

Publications

Filters: Author is Křet{\'ınsk{\`y}, Jan  [Clear All Filters]
In Press
V. Forejt, J. Krčál, and J. Křet{\'ınsk{\`y}, “Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU”, in LPAR 2015, In Press.
  • Google Scholar
  • BibTex

Main menu

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Contents

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
    • Authors
    • WP1
    • WP2
    • WP3
    • WP4
    • WP5
  • Deliverables

   

                              

Powered by Drupal