`Travelled to:`

1 × Canada

1 × China

1 × India

1 × USA

`Collaborated with:`

T.Bountourelis A.Nazeem E.Roszkowska J.Y.Choi

`Talks about:`

algorithm (2) episod (2) state (2) space (2) learn (2) acycl (2) task (2) supervisor (1) mathemat (1) deadlock (1)

## Person: Spiridon Reveliotis

### DBLP: Reveliotis:Spiridon

### Contributed to:

### Wrote 4 papers:

- CASE-2010-NazeemR #approach #design #resource management
- A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems (AN, SR), pp. 451–458.
- CASE-2009-BountourelisR #algorithm #learning
- Customized learning algorithms for episodic tasks with acyclic state spaces (TB, SR), pp. 627–634.
- CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification
- Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.
- CASE-2006-ReveliotisB #algorithm #learning #performance
- Efficient learning algorithms for episodic tasks with acyclic state spaces (SR, TB), pp. 411–418.