Andrzej Wąsowski

University of Copenhagen

Denmark

Research Interests

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (9)

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (4)

Peter Axel Nielsen

Aalborg University

DENMARK

View details

Einar Broch Johnsen

Professor

University of Oslo

NORWAY

View details

Adam Alami

Assistant Professor

Aalborg University

DENMARK

View details

Thomas Jensen

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Andrzej Wąsowski

Research Interests

Contact this professor

Articles (9)

Formal Specification and Testing for Reinforcement Learning

Behavior Trees and State Machines in Robotics Applications

Patching Locking Bugs Statically with Crayons

Pull Request Governance in Open Source Communities

MROS: runtime adaptation for robot control architectures

Verification of Program Transformations with Inductive Refinement Types

A Tailored Participatory Action Research for FOSS Communities

Generalized abstraction-refinement for game-based CTL lifted model checking

Guest editorial to the special section on MODELS 2018

Collaborators (4)

Peter Axel Nielsen

Einar Broch Johnsen

Adam Alami

Thomas Jensen

Make your next move.