Multiagent strategic reasoning in the IoV: A logic-based approach
Multiagent strategic reasoning in the IoV: A logic-based approach
  Multiagent Systems, Coordination and Control, Internet of Vehicles (IoV), Strategic Reasoning, Formal Methods, temporal logics
  
    
      Yazdanpanah, Vahid
      
        28f82058-5e51-4f56-be14-191ab5767d56
      
     
  
    
      Stein, Sebastian
      
        cb2325e7-5e63-475e-8a69-9db2dfbdb00b
      
     
  
    
      Gerding, Enrico H.
      
        d9e92ee5-1a8c-4467-a689-8363e7743362
      
     
  
    
      schraefel, m.c.
      
        ac304659-1692-47f6-b892-15113b8c929f
      
     
  
  
   
  
  
    
    
  
  
    
      Yazdanpanah, Vahid
      
        28f82058-5e51-4f56-be14-191ab5767d56
      
     
  
    
      Stein, Sebastian
      
        cb2325e7-5e63-475e-8a69-9db2dfbdb00b
      
     
  
    
      Gerding, Enrico H.
      
        d9e92ee5-1a8c-4467-a689-8363e7743362
      
     
  
    
      schraefel, m.c.
      
        ac304659-1692-47f6-b892-15113b8c929f
      
     
  
       
    
 
  
    
      
  
  
  
  
    Yazdanpanah, Vahid, Stein, Sebastian, Gerding, Enrico H. and schraefel, m.c.
  
  
  
  
   
    (2021)
  
  
    
    Multiagent strategic reasoning in the IoV: A logic-based approach.
  
  
  
  
    
    
    
      
        
   
  
    ACM Collective Intelligence Conference 2021 (CI-2021), Virtual, Copenhagen, Denmark.
   
        
        
        29 - 30  Jun 2021.
      
    
  
  
  
      
          
           4 pp
        .
    
  
  
  
    (In Press) 
  
  
  
   
  
    
      Record type:
      Conference or Workshop Item
      (Paper)
      
      
    
   
    
    
      
      
        
          
            
  
    Text
 Multiagent_SR_IoV_CI21
     - Accepted Manuscript
   
  
    
      Restricted to Repository staff only
    
  
  
    
  
 
          
            
              Request a copy
            
           
            
           
        
          
            
  
    Text
 Multiagent Strategic Reasoning in the IoV _ A Logic Based Approach
     - Version of Record
   
  
  
    
  
 
          
            
          
            
           
            
           
        
        
       
    
   
  
  
  More information
  
    
      Accepted/In Press date: 12 April 2021
 
    
  
  
    
  
    
  
    
     
        Venue - Dates:
        ACM Collective Intelligence Conference 2021 (CI-2021), Virtual, Copenhagen, Denmark, 2021-06-29 - 2021-06-30
      
    
  
    
  
    
     
    
  
    
     
        Keywords:
        Multiagent Systems, Coordination and Control, Internet of Vehicles (IoV), Strategic Reasoning, Formal Methods, temporal logics
      
    
  
    
  
    
  
  
        Identifiers
        Local EPrints ID: 448210
        URI: http://eprints.soton.ac.uk/id/eprint/448210
        
        
        
        
          PURE UUID: f1c5d810-7dfe-4ec2-aa3c-4823855c4e9e
        
  
    
        
          
            
              
            
          
        
    
        
          
            
              
            
          
        
    
        
          
            
              
            
          
        
    
        
          
            
              
            
          
        
    
  
  Catalogue record
  Date deposited: 15 Apr 2021 16:30
  Last modified: 17 Mar 2024 04:02
  Export record
  
  
 
 
  
    
    
      Contributors
      
          
          Author:
          
            
              
              
                Vahid Yazdanpanah
              
              
                
              
            
            
          
         
      
          
          Author:
          
            
              
              
                Sebastian Stein
              
              
                
              
            
            
          
         
      
          
          Author:
          
            
              
              
                Enrico H. Gerding
              
              
                
              
            
            
          
         
      
          
          Author:
          
            
              
              
                m.c. schraefel
              
              
                
              
            
            
          
         
      
      
      
    
  
   
  
    Download statistics
    
      Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
      
      View more statistics