Skip to main content

Research Repository

Advanced Search

Outputs (4)

Central H-spaces and banded types (2025)
Journal Article
Buchholtz, U. T., Christensen, J. D., Flaten, J. G. T., & Rijke, E. (2025). Central H-spaces and banded types. Journal of Pure and Applied Algebra, 229(6), Article 107963. https://doi.org/10.1016/j.jpaa.2025.107963

We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite del... Read More about Central H-spaces and banded types.

Identifying Heavy Goods Vehicle Driving Styles in the United Kingdom (2018)
Journal Article
Figueredo, G. P., Agrawal, U., Mase, J., Mesgarpour, M., Wagner, C., Soria, D., Garibaldi, J. M., Siebers, P.-O., & John, R. (2019). Identifying Heavy Goods Vehicle Driving Styles in the United Kingdom. IEEE Transactions on Intelligent Transportation Systems, 20(9), 3324-3336. https://doi.org/10.1109/TITS.2018.2875343

Although driving behaviour has been largely studied amongst private motor vehicles drivers, the literature addressing heavy goods vehicle (HGV) drivers is scarce. Identifying the existing groups of driving stereotypes and their proportions enables re... Read More about Identifying Heavy Goods Vehicle Driving Styles in the United Kingdom.

Model checking for Coalition Announcement Logic (2018)
Presentation / Conference Contribution
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018, September). Model checking for Coalition Announcement Logic. Presented at KI 2018: Advances in Artificial Intelligence, Berlin, Germany

Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.