( en | de | ru )

 

Disambiguation of "Stankaitis, Paulius"

Author of the publication

copydeleteadd this publication to your clipboard
Online Reachability Analysis and Space Convexification for Autonomous Racing.

, , , , and . FMAS@iFM, volume 395 of EPTCS, page 95-112. (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paulius Duplys

Alfons Stankaitis

Jonas Stankaitis

Algis Paulius

Paulius Lizdenis

 

Other publications of authors with the same name

Efficient composition of scenario-based hardware specifications., , and . IET Comput. Digit. Tech., 13 (2): 57-69 (2019)A refinement-based development of a distributed signalling system., , , , , and . Formal Aspects Comput., 33 (6): 1009-1036 (2021)Data-Driven Reachability Analysis of Digital Twin FMI Models., , , and . ISoLA (4), volume 13704 of Lecture Notes in Computer Science, page 139-158. Springer, (2022)A Refinement Based Method for Developing Distributed Protocols., , , , , and . HASE, page 90-97. IEEE, (2019)Formal Distributed Protocol Development for Reservation of Railway Sections., , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 203-219. Springer, (2020)A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems., , , , , and . Formal Aspects Comput., 35 (1): 3:1 (March 2023)Reachability Analysis and Simulation for Hybridised Event-B Models., , , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 109-128. Springer, (2022)Modelling Hybrid Train Speed Controller using Proof and Refinement., , , , , and . ICECCS, page 107-113. IEEE, (2019)Online Reachability Analysis and Space Convexification for Autonomous Racing., , , , and . FMAS@iFM, volume 395 of EPTCS, page 95-112. (2023)