SlidesLive
Kategorien
DE
Anmelden Vertrieb kontaktieren
Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
  • title: Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
       0:00 / 0:00
      • Report Issue
      • Settings
      • Playlists
      • Bookmarks
      • Subtitles Off
      • Playback rate
      • Quality
      • Settings
      • Debug information
      • Server sl-yoda-v3-stream-011-alpha.b-cdn.net
      • Subtitles size Medium
      • Bookmarks
      • Server
      • sl-yoda-v3-stream-011-alpha.b-cdn.net
      • sl-yoda-v3-stream-011-beta.b-cdn.net
      • 1150868944.rsc.cdn77.org
      • 1511650057.rsc.cdn77.org
      • Subtitles
      • Off
      • English
      • Playback rate
      • Quality
      • Subtitles size
      • Large
      • Medium
      • Small
      • Mode
      • Video Slideshow
      • Audio Slideshow
      • Slideshow
      • Video
      My playlists
        Bookmarks
          00:00:00
            Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
            • Settings
            • Sync diff
            • Quality
            • Settings
            • Server
            • Quality
            • Server

            Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems

            Mär 22, 2021

            Sprecher:innen

            RDM

            Riccardo De Masellis

            Sprecher:in · 0 Follower:innen

            VG

            Valentin Goranko

            Sprecher:in · 0 Follower:innen

            Über

            Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems

            Organisator

            A
            A

            AAMAS

            Konto · 13 Follower:innen

            Kategorien

            Mathematik

            Kategorie · 2,4k Präsentationen

            KI und Datenwissenschaft

            Kategorie · 10,8k Präsentationen

            Über AAMAS

            AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

            Gefällt euch das Format? Vertraut auf SlidesLive, um euer nächstes Event festzuhalten!

            Professionelle Aufzeichnung und Livestreaming – weltweit.

            Erfahrt mehr

            Interessiert an Vorträgen wie diesem? AAMAS folgen