Information and computing sciences

sort by:

JOURNAL CONTRIBUTION

Cooperative concurrent games

journal contribution posted on 2025-06-13

Nash equilibrium and bisimulation invariance

Nash equilibrium and bisimulation invariance

journal contribution posted on 2025-06-13

JOURNAL CONTRIBUTION

Multi-player games with LDL goals over finite traces

journal contribution posted on 2025-06-13

Expressiveness and nash equilibrium in iterated boolean games

Expressiveness and nash equilibrium in iterated boolean games

conference contribution posted on 2025-06-13

Rational verification: game-theoretic verification of multi-agent systems

Rational verification: game-theoretic verification of multi-agent systems

journal contribution posted on 2025-06-13

On the complexity of rational verification

On the complexity of rational verification

journal contribution posted on 2025-06-13

Principal-agent boolean games

Principal-agent boolean games

conference contribution posted on 2025-06-13

Designing equilibria in concurrent games with social welfare and temporal logic constraints

Designing equilibria in concurrent games with social welfare and temporal logic constraints

journal contribution posted on 2025-06-13

Correct and optimal: the regular expression inference challenge

Correct and optimal: the regular expression inference challenge

conference contribution posted on 2025-04-28

LTL Learning on GPUs

LTL Learning on GPUs

conference contribution posted on 2025-04-28

FILES UNDER EMBARGO

Information transfer in finite flocks with topological interactions

journal contribution posted on 2025-04-24

Communication strategy on macro-and-micro traffic state in cooperative deep reinforcement learning for regional traffic signal control

Communication strategy on macro-and-micro traffic state in cooperative deep reinforcement learning for regional traffic signal control

journal contribution posted on 2025-04-23

A novel training and collaboration integrated framework for human–Agent teleoperation

A novel training and collaboration integrated framework for human–Agent teleoperation

journal contribution posted on 2025-04-07

Ordinal SuStaIn: Subtype and Stage Inference for Clinical Scores, Visual Ratings, and Other Ordinal Data.

Ordinal SuStaIn: Subtype and Stage Inference for Clinical Scores, Visual Ratings, and Other Ordinal Data.

journal contribution posted on 2025-04-01

A Bayesian model of legal syllogistic reasoning

A Bayesian model of legal syllogistic reasoning

journal contribution posted on 2025-04-01

Generation of Visual Representations for Multi-Modal Mathematical Knowledge

Generation of Visual Representations for Multi-Modal Mathematical Knowledge

journal contribution posted on 2025-03-28

Multi-rater consensus learning for modeling multiple sparse ratings of affective behaviour

Multi-rater consensus learning for modeling multiple sparse ratings of affective behaviour

journal contribution posted on 2025-03-27

Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics

Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics

journal contribution posted on 2025-03-05

FILES UNDER EMBARGO

Insect-based navigation model allows efficient long-range visual homing in a 3D simulated environment

chapter posted on 2025-02-07

Real-time progressive learning: accumulate knowledge from control with neural-network-based selective memory

Real-time progressive learning: accumulate knowledge from control with neural-network-based selective memory

journal contribution posted on 2025-01-29

PDE constrained shape optimisation with first-order and Newton-type methods in the <i>W</i><sup>1,∞</sup> topology

PDE constrained shape optimisation with first-order and Newton-type methods in the W^1,∞ topology

journal contribution posted on 2025-01-29

Adaptive Route Memory Sequences for Insect-Inspired Visual Route Navigation

Adaptive Route Memory Sequences for Insect-Inspired Visual Route Navigation

journal contribution posted on 2025-01-10

Efficient robust model predictive control for behaviorally stable vehicle platoons

Efficient robust model predictive control for behaviorally stable vehicle platoons

journal contribution posted on 2024-12-09

Joint fuel-efficient vehicle platooning and data transmission scheduling for MEC-enabled cooperative vehicle-infrastructure systems

Joint fuel-efficient vehicle platooning and data transmission scheduling for MEC-enabled cooperative vehicle-infrastructure systems

journal contribution posted on 2024-12-09

Investigating the limits of familiarity-based navigation

Investigating the limits of familiarity-based navigation

journal contribution posted on 2024-11-07

Designing ecosystems of intelligence from first principles

Designing ecosystems of intelligence from first principles

journal contribution posted on 2024-10-22

Biological convolutions improve DNN robustness to noise and generalisation

Biological convolutions improve DNN robustness to noise and generalisation

journal contribution posted on 2024-10-01

The role of capacity constraints in Convolutional Neural Networks for learning random versus natural data

The role of capacity constraints in Convolutional Neural Networks for learning random versus natural data

journal contribution posted on 2024-10-01

The EmoPain@Home dataset: capturing pain level and activity recognition for people with chronic pain in their homes

The EmoPain@Home dataset: capturing pain level and activity recognition for people with chronic pain in their homes

journal contribution posted on 2024-06-25

Movement representation learning for pain level classification

Movement representation learning for pain level classification

journal contribution posted on 2024-06-25

Learning to assist bimanual teleoperation using interval type-2 polynomial fuzzy inference

Learning to assist bimanual teleoperation using interval type-2 polynomial fuzzy inference

journal contribution posted on 2024-06-13

RayNet: a simulation platform for developing reinforcement learning-driven network protocols

RayNet: a simulation platform for developing reinforcement learning-driven network protocols

journal contribution posted on 2024-05-17

Selective memory recursive least squares: recast forgetting into memory in RBF neural network based real-time learning

Selective memory recursive least squares: recast forgetting into memory in RBF neural network based real-time learning

journal contribution posted on 2024-05-01

Fuzzy logic-based arbitration for shared control in continuous human-robot collaboration

Fuzzy logic-based arbitration for shared control in continuous human-robot collaboration

journal contribution posted on 2024-04-24

CONFERENCE CONTRIBUTION

Large-Scale Traffic Signal Control by a Nash Deep Q-network Approach

conference contribution posted on 2024-04-18

FILES UNDER EMBARGO

Design of a stable an intelligent controller for a quadruped robot

journal contribution posted on 2024-03-18

Familiarity-taxis: a bilateral approach to view-based snapshot navigation

Familiarity-taxis: a bilateral approach to view-based snapshot navigation

journal contribution posted on 2024-01-22

Editorial: Unhealthy language: linguistic investigations of COVID-19 discourse

Editorial: Unhealthy language: linguistic investigations of COVID-19 discourse

journal contribution posted on 2023-09-25

Introducing the keyconcept approach to the analysis of language: the case of regulation in COVID-19 diaries

Introducing the keyconcept approach to the analysis of language: the case of regulation in COVID-19 diaries

journal contribution posted on 2023-09-22

Measuring the impact of AI on jobs at the organization level: lessons from a survey of UK business leaders

Measuring the impact of AI on jobs at the organization level: lessons from a survey of UK business leaders

journal contribution posted on 2023-06-10