Guarded Hybrid Team Logics.

Marius Tritschler

Published in: CSL (2024)

Keyphrases

expressive power
modal logic
inference rules
decision procedures
database
real time
hybrid learning
team members
neural network
e learning
cooperative
mobile robot
robotic soccer