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
LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata
Title: LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata
Kind : Conference Papers
Published In: Proc. of Workshop ADAPT - Agent Design: Advancing from Practice to Theory, AAMAS 2009 - the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary
Year : 2009
Authors : Bruno Lacerda
Lab : Intelligent Robots and Systems Group (IRSg)

Recent News

  • ISR Researchers Around the World | Eduardo Cunha @Goa
  • ISR Researchers Around the World | Rute Luz @ESA
  • SocRob@Home will participate in RoboCup 2023
ist_logo_white
fct_logo
Larsys_logo

Contacts

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

  • +351-218418291

Social Networks

  • Facebook
  • Linked In
  • Twitter
Copyright 2018Designed and Built by Novify