재정 지원 요구사항을 통해 공개된 자료 - Michael Winikoff자세히 알아보기
제공된 곳이 있음: 12
Towards a framework for certification of reliable autonomous systems
M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ...
Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021
재정 지원 요구사항 정책: US National Science Foundation, US National Aeronautics and Space …
Engineering multi-agent systems: State of affairs and the road ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
재정 지원 요구사항 정책: Knut and Alice Wallenberg Foundation, UK Engineering and Physical Sciences …
Consistent merging of model versions
HK Dam, A Egyed, M Winikoff, A Reder, RE Lopez-Herrejon
Journal of Systems and Software 112, 137-155, 2016
재정 지원 요구사항 정책: Austrian Science Fund
A new hierarchical agent protocol notation
M Winikoff, N Yadav, L Padgham
Autonomous Agents and Multi-Agent Systems 32, 59-133, 2018
재정 지원 요구사항 정책: Australian Research Council
On enactability of agent interaction protocols: Towards a unified approach
A Ferrando, M Winikoff, S Cranefield, F Dignum, V Mascardi
Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019 …, 2020
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Requirements specification via activity diagrams for agent-based systems
Y Abushark, T Miller, J Thangarajah, M Winikoff, J Harland
Autonomous Agents and Multi-Agent Systems 31, 423-468, 2017
재정 지원 요구사항 정책: Australian Research Council
A tool for defining agent protocols in HAPN
N Yadav, L Padgham, M Winikoff
AAMAS, 1935-1936, 2015
재정 지원 요구사항 정책: Australian Research Council
Slicing agent programs for more efficient verification
M Winikoff, L Dennis, M Fisher
Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018 …, 2019
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
HAPN: Hierarchical Agent Protocol Notation
N Yadav, M Winikoff, L Padgham
Proceedings of the International Workshop on Coordination, Organisation …, 2015
재정 지원 요구사항 정책: Australian Research Council
What Can I Do to Help You?
ML Tielman, MB Van Riemsdijk, M Winikoff
HHAI 2023: Augmenting Human Intellect, 168-181, 2023
재정 지원 요구사항 정책: Netherlands Organisation for Scientific Research
Summarising a Framework for the Certification of Reliable Autonomous Systems
M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ...
재정 지원 요구사항 정책: US National Science Foundation, US National Aeronautics and Space …
A comparison of two agent interaction design approaches
C Cheong, M Winikoff
Multiagent and Grid Systems 9 (1), 1-44, 2013
재정 지원 요구사항 정책: Australian Research Council
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.