Switch to: References

Add citations

You must login to add citations.
  1. A counter abstraction technique for verifying properties of probabilistic swarm systems.Alessio Lomuscio & Edoardo Pirovano - 2022 - Artificial Intelligence 305 (C):103666.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Verification of agent navigation in partially-known environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308 (C):103724.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • The virtues of idleness: A decidable fragment of resource agent logic.Natasha Alechina, Nils Bulling, Brian Logan & Hoang Nga Nguyen - 2017 - Artificial Intelligence 245 (C):56-85.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations