Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings

DOI10.1007/978-3-662-49674-9zbMath1360.68008OpenAlexW2499905456MaRDI QIDQ590254

No author found.

Publication date: 11 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49674-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Related Items (2)

SyReNN: a tool for analyzing deep neural networks ⋮ Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

This page was built for publication: Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings