Skip to content
Institute For Systems and Robotics Logo Institute For Systems and Robotics Logo Institute For Systems and Robotics Logo
  • About Us
    • Overview
    • Institutional
    • Coordination
    • LARSyS
    • Direction & Contacts
  • People
    • Community
    • Alumni
  • Research
    • Groups
    • Projects
    • Publications
    • R&D Infrastructures
  • Training
    • Doctoral Programs
  • Media
    • News
    • Press
    • ISR Connected
    • Photo Gallery
  • Outreach
    • Startups
    • Awards
    • Visits
  • Login
Previous Next
Designing Petri Net Supervisors from LTL Specifications
Title: Designing Petri Net Supervisors from LTL Specifications
Kind : Conference Papers
Published In: Proc. of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA
Year : 2011
Authors : Bruno Lacerda
Pedro Manuel Urbano de Almeida Lima
Lab : Intelligent Robots and Systems Group (IRSg)

Recent News

  • University Spinoffs and Venture Capital Seminar
  • Seminar: European Robotics Week
  • On the News: Beginning of a new space era
ist_logo_white
fct_logo
Larsys_logo

Contacts

  • Torre Norte – 7º Piso, Av.Rovisco Pais, 1 1049-001 Lisboa, Portugal
  • info@isr.tecnico.ulisboa.pt
  • +351-218418289

  • +351-218418291

Social Networks

  • Facebook
  • Linked In
  • Twitter
Copyright 2018Designed and Built by Novify
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.OK