11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.MA2026
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Marco Aruta, Vadim Malvone, Aniello Murano +2
Reasoning about what agents can achieve through strategic interaction is a core challenge in Multi-Agent Systems (MAS). Logics for strategic ability, such as ATL, provide rigorous…
astro-ph.SR2019★ 11 cited
The PDS 110 observing campaign - photometric and spectroscopic observations reveal eclipses are aperiodic
Hugh P. Osborn, Matthew Kenworthy, Joseph E. Rodriguez +71
PDS 110 is a young disk-hosting star in the Orion OB1A association. Two dimming events of similar depth and duration were seen in 2008 (WASP) and 2011 (KELT), consistent with an ob…