Karl H. Johansson

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 6

Top Topics

Symbolic Model Checking

Linear Temporal Logic

Cellular Networks

Top Venues

Publications

Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl H. Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. ECC (2024)
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson, Jonas Mårtensson
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV (2024)
Alejandro Penacho Riveiros, Yu Xing, Nicola Bastianello, Karl H. Johansson
Real-Time Anomaly Detection and Categorization for Satellite Reaction Wheels. ECC (2024)
Ting Bai, Yuchao Li, Karl H. Johansson, Jonas Mårtensson
Distributed Charging Coordination of Electric Trucks with Limited Charging Resources. ECC (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR (2024)