1
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Closed-Loop Hybrid System -- Controller Synthesis with Budget Constraints -- Trading Infinite Memory...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... and synchronization constraints -- Solution of the maximum k-balanced subgraph problem -- Racing with a Fixed Budget...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Solution of Capacitated Arc Routing Problems with a Limited Computational Budget -- Block-Structured Plan...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
View full text
Electronic eBook