The following pages link to Giuseppe De Giacomo (Q286404):
Displaying 5 items.
- (Q5740438) (← links)
- Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754) (← links)
- Mimicking behaviors in separated domains (Q6488799) (← links)
- Regular decision processes (Q6566638) (← links)
- Composition of stochastic services for LTL\(_f\) goal specifications (Q6630205) (← links)