3 papers
cs.MA2023
Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration
Thomas Robinson, Guoxin Su
Allocation and planning with a collection of tasks and a group of agents is an important problem in multiagent systems. One commonly faced bottleneck is scalability, as in general…
cs.SE2013
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
Guoxin Su, David S. Rosenblum
The majority of existing probabilistic model checking case studies are based on well understood theoretical models and distributions. However, real-life probabilistic systems usual…
cs.PL2012
Session Communication and Integration
Guoxin Su, Mingsheng Ying, Chengqi Zhang
The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the paral…