Using Modern Agent Toolkits with Logical Agents (ACSOS 2025 - Posters and Demos) - ACSOS 2025

Mon 29 September - Fri 3 October 2025 Tokyo, Japan

Who

Nathan Lloyd, Peter Lewis

Track

ACSOS 2025 Posters and Demos

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 30 Sep 2025 13:30 - 14:00 - Posters and Demos
Wed 1 Oct 2025 13:30 - 14:00 - Posters and Demos
Thu 2 Oct 2025 13:30 - 14:00 - Posters and Demos

Nathan Lloyd

Ontario Tech University

Canada

Peter Lewis

Ontario Tech University

Canada

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 30 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

	13:30 - 14:00	Posters and DemosPosters and Demos

	13:30 30m Poster		Reducing Onboard Power Consumption in CubeSats via Adaptive Telemetry and Monitoring Posters and Demos Christoforos Vasilakis University of Athens, Alexandros Tsagkaropoulos National and Kapodistrian University of Athens, Angelos Motsios National and Kapodistrian University of Athens, Panagiotis Karathanasis , Christos Tsigkanos University of Athens, Greece, Dionysios Reisis National and Kapodistrian University of Athens
	13:30 30m Poster		Towards Verification of Autonomous Machine Learning Systems On-Board Spacecraft Posters and Demos Evgenios Tsigkanos , Giannis Panagiotopoulos , Alexander Klaser , Adrian-Mihai Leu , Mathieu Bernou , Christos Tsigkanos University of Athens, Greece
	13:30 30m Poster		Unified Architecture for Expectations in Adaptive Agents Posters and Demos John Mills , Peter Lewis Ontario Tech University
	13:30 30m Poster		Using Modern Agent Toolkits with Logical Agents Posters and Demos Nathan Lloyd Ontario Tech University, Peter Lewis Ontario Tech University
	13:30 30m Poster		A Run-time Verification Toolkit for Self-adaptive Systems Supporting Dynamic Model Changes Posters and Demos Ryuichi Iida , Keiichiro Oishi , Hiroyuki Nakagawa Okayama University
	13:30 30m Poster		SunSift: Solar-Powered Informative Sensing Enabling Batteryless Federated Learning Posters and Demos Shayan Gerami , Sepehr Tabrizchi , Omer Kurkutlu , Rebati Raman Gaire , Arman Roohi University of Illinois Chicago

Wed 1 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	13:30 - 14:00	Posters and DemosPosters and Demos

	13:30 30m Poster		Reducing Onboard Power Consumption in CubeSats via Adaptive Telemetry and Monitoring Posters and Demos Christoforos Vasilakis University of Athens, Alexandros Tsagkaropoulos National and Kapodistrian University of Athens, Angelos Motsios National and Kapodistrian University of Athens, Panagiotis Karathanasis , Christos Tsigkanos University of Athens, Greece, Dionysios Reisis National and Kapodistrian University of Athens
	13:30 30m Poster		Towards Verification of Autonomous Machine Learning Systems On-Board Spacecraft Posters and Demos Evgenios Tsigkanos , Giannis Panagiotopoulos , Alexander Klaser , Adrian-Mihai Leu , Mathieu Bernou , Christos Tsigkanos University of Athens, Greece
	13:30 30m Poster		Unified Architecture for Expectations in Adaptive Agents Posters and Demos John Mills , Peter Lewis Ontario Tech University
	13:30 30m Poster		Using Modern Agent Toolkits with Logical Agents Posters and Demos Nathan Lloyd Ontario Tech University, Peter Lewis Ontario Tech University
	13:30 30m Poster		A Run-time Verification Toolkit for Self-adaptive Systems Supporting Dynamic Model Changes Posters and Demos Ryuichi Iida , Keiichiro Oishi , Hiroyuki Nakagawa Okayama University
	13:30 30m Poster		SunSift: Solar-Powered Informative Sensing Enabling Batteryless Federated Learning Posters and Demos Shayan Gerami , Sepehr Tabrizchi , Omer Kurkutlu , Rebati Raman Gaire , Arman Roohi University of Illinois Chicago

Thu 2 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	13:30 - 14:00	Posters and DemosPosters and Demos

	13:30 30m Poster		Reducing Onboard Power Consumption in CubeSats via Adaptive Telemetry and Monitoring Posters and Demos Christoforos Vasilakis University of Athens, Alexandros Tsagkaropoulos National and Kapodistrian University of Athens, Angelos Motsios National and Kapodistrian University of Athens, Panagiotis Karathanasis , Christos Tsigkanos University of Athens, Greece, Dionysios Reisis National and Kapodistrian University of Athens
	13:30 30m Poster		Towards Verification of Autonomous Machine Learning Systems On-Board Spacecraft Posters and Demos Evgenios Tsigkanos , Giannis Panagiotopoulos , Alexander Klaser , Adrian-Mihai Leu , Mathieu Bernou , Christos Tsigkanos University of Athens, Greece
	13:30 30m Poster		Unified Architecture for Expectations in Adaptive Agents Posters and Demos John Mills , Peter Lewis Ontario Tech University
	13:30 30m Poster		Using Modern Agent Toolkits with Logical Agents Posters and Demos Nathan Lloyd Ontario Tech University, Peter Lewis Ontario Tech University
	13:30 30m Poster		A Run-time Verification Toolkit for Self-adaptive Systems Supporting Dynamic Model Changes Posters and Demos Ryuichi Iida , Keiichiro Oishi , Hiroyuki Nakagawa Okayama University
	13:30 30m Poster		SunSift: Solar-Powered Informative Sensing Enabling Batteryless Federated Learning Posters and Demos Shayan Gerami , Sepehr Tabrizchi , Omer Kurkutlu , Rebati Raman Gaire , Arman Roohi University of Illinois Chicago