Apresentação de progresso dos projetos

27 novembro 2017, 18:30 • Rodrigo Ventura

Turno 2, Sessão 4

Apresentação de progresso dos projetos

23 novembro 2017, 18:30 • Rodrigo Ventura

Turno 1, Sessão 4

Plan representation using Petri nets (1)

23 novembro 2017, 14:00 • Pedro Urbano Lima

Abstraction levels in Discrete Event Systems and different model views (untimed/logical, timed and stochastically timed). Qualitative analysis and supervision.

Apresentação de progresso dos projetos

21 novembro 2017, 18:30 • Rodrigo Ventura

Turno 1, Sessão 4

Task planning: STRIPS. Plan representation.

21 novembro 2017, 14:00 • Pedro Urbano Lima

Fundamentals of STRIPS: Stanford Research Institute Problem Solver. Definitions, operators, example. Robot task plan representation by Finite State Automata.

Introduction to Petri nets.