Pieter

Results: 1110



#Item
51

The Off-Switch Game Dylan Hadfield-Menell1 and Anca Dragan1 and Pieter Abbeel1,2,3 and Stuart Russell1 1 University of California, Berkeley, 2 OpenAI, 3 International Computer Science Institute (ICSI) {dhm, anca, pabbeel

Add to Reading List

Source URL: arxiv.org

- Date: 2017-06-18 20:54:29
    52

    Public Transit Route Planning through Lightweight Linked Data Interfaces Pieter Colpaert, Ruben Verborgh, and Erik Mannens Ghent University – imec – Internet and Data Lab

    Add to Reading List

    Source URL: pietercolpaert.be

      53

      Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo

      Add to Reading List

      Source URL: research.fb.com

      - Date: 2016-11-03 21:22:10
        54

        CONCEPT-Notulen vergadering Gezamenlijke OPLEIDINGSCOMMISSIES 9 april 2014 Aanwezig: Johan van Wilsem (voorzitter), Sabrina Legerstee (plv. voorzitter), . Pieter de Tavernier, Annelies van Sluijs, Guus Boelens, Jorrit Ri

        Add to Reading List

        Source URL: media.leidenuniv.nl

        - Date: 2014-12-22 07:18:49
          55

          Conceptverslag Gezamenlijke OPLEIDINGSCOMMISSIES 23 september 2015 Aanwezig: Johan van Wilsem (voorzitter), Roos Bruijnsteen, Pieter van Cleyenbreygel, Gert Jan Geertjes, Laurens de Hoog, Magriet Jansen, Ynse Keilholz, C

          Add to Reading List

          Source URL: media.leidenuniv.nl

          - Date: 2016-02-26 11:13:25
            56

            NOTULEN Gezamenlijke OPLEIDINGSCOMMISSIES op dinsdag 28 mei 2013 van:00 uur in zaal B 0.17 Aanwezig: Chris de Kruif (voorzitter), Janneke Vink, Marije Verplanke, Joni Reef, Camiel Boersma, Pieter De Tavernier, L

            Add to Reading List

            Source URL: media.leidenuniv.nl

            - Date: 2013-10-30 04:28:01
              57

              Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300

              Add to Reading List

              Source URL: lirias.kuleuven.be

                58

                Notulen - Concept-Verslag Gezamenlijke OPLEIDINGSCOMMISSIES 15 april 2015 Aanwezig: Johan van Wilsem (voorzitter), Marie-Elise Heijboer (vice-voorzitter), Hester Bisscheroux, Roos Bruijnsteen, Pieter Van Clyenenbreugel,

                Add to Reading List

                Source URL: media.leidenuniv.nl

                - Date: 2015-10-12 03:54:42
                  59

                  Apprenticeship Learning via Inverse Reinforcement Learning Pieter Abbeel Andrew Y. Ng Computer Science Department, Stanford University, Stanford, CA 94305, USA Abstract

                  Add to Reading List

                  Source URL: ai.stanford.edu

                  - Date: 2004-04-27 14:28:36
                    60

                    Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

                    Add to Reading List

                    Source URL: dl.dropboxusercontent.com

                      UPDATE