Machine Learning and Model Checking Join Forces

• Alessandro Abate (University of Oxford, GB) [dblp]
• Erika Abraham (RWTH Aachen, DE) [dblp]
• Ezio Bartocci (TU Wien, AT) [dblp]
• Roderick Bloem (TU Graz, AT) [dblp]
• Luca Bortolussi (University of Trieste, IT) [dblp]
• Tomáš Brázdil (Masaryk University – Brno, CZ) [dblp]
• Marc Brockschmidt (Microsoft Research UK – Cambridge, GB) [dblp]
• Rudy Bunel (University of Oxford, GB) [dblp]
• Michael Carbin (MIT – Cambridge, US) [dblp]
• Rayna Dimitrova (University of Leicester, GB) [dblp]
• Krishnamurthy Dvijotham (Google UK – London, GB) [dblp]
• Rüdiger Ehlers (Universität Bremen, DE) [dblp]
• Andreas Berre Eriksen (Aalborg University, DK) [dblp]
• Radu Grosu (TU Wien, AT) [dblp]
• Arnd Hartmanns (University of Twente, NL) [dblp]
• Laura Humphrey (AFRL – Wright Patterson, US) [dblp]
• Manfred Jaeger (Aalborg University, DK) [dblp]
• Nils Jansen (Radboud University Nijmegen, NL) [dblp]
• Sebastian Junges (RWTH Aachen, DE) [dblp]
• Joost-Pieter Katoen (RWTH Aachen, DE) [dblp]
• Pushmeet Kohli (Google DeepMind – London, GB) [dblp]
• Jan Kretinsky (TU München, DE) [dblp]
• Kim Guldstrand Larsen (Aalborg University, DK) [dblp]
• Alexis Linard (Radboud University Nijmegen, NL) [dblp]
• Tobias Meggendorfer (TU München, DE) [dblp]
• Daniel Neider (MPI-SWS – Kaiserslautern, DE) [dblp]
• Guillermo A. Pérez (Free University of Brussels, BE) [dblp]
• Ruzica Piskac (Yale University – New Haven, US) [dblp]
• Hasan Poonawala (Univ. of Texas at Austin, US) [dblp]
• Pavithra Prabhakar (Kansas State University – Manhattan, US) [dblp]
• Jean-Francois Raskin (Free University of Brussels, BE) [dblp]
• Guido Sanguinetti (University of Edinburgh, GB) [dblp]
• Daniel Selsam (Stanford University, US) [dblp]
• Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
• Armando Solar-Lezama (MIT – Cambridge, US) [dblp]
• Ufuk Topcu (University of Texas – Austin, US) [dblp]
• Jana Tumova (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
• Jonathan Uesato (Google DeepMind – London, GB) [dblp]
• Frits Vaandrager (Radboud University Nijmegen, NL) [dblp]
• Min Wen (University of Pennsylvania – Philadelphia, US) [dblp]
• Leonore Winterer (Universität Freiburg, DE) [dblp]

In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner