Topics in theoretical computer science : third IFIP WG 1.8 International Conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 Proceedings / Luís S. Barbosa, Mohammad Ali Abam (Eds.)
Dirac-based Reduction Techniques for Quantitative Analysis of Discrete-time Markov Models -- Combining Machine and Automata Learning for Network Traffic Classification -- On the complexity of the upper r-tolerant edge cover problem -- Margin-based Semi-supervised Learning Using Apollonius circle -- Computing Boundary Cycle of a Pseudo-Triangle Polygon from its Visibility Graph -- Improved Algorithms for Distributed Balanced Clustering -- Finite Interval-Time Transition System for Real-Time Actors -- Path Planning with Objectives Minimum Length and Maximum Clearance
Notes
International conference proceedings
"Due to the COVID-19 pandemic, TTCS 2020 was forced to run virtually, with livestreaming of all talks and both synchronous and asynchronous interaction with participants."--Preface