THE LEGAL CONSEQUENCE OF BUILDING RIGHTS TITLE ABOLITION DUE TO ABANDONED LAND BY LAND OWNERS

Abstract

Abandoned Building Rights Title is due to the lack of use and utilization of the rights granted. Many Building Rights Titles are issued in a fairly large business designation. Yet, it would be very unfortunate if it was abandoned by the owner. Thus, the use of these rights does not run according to its designation. As a result of such abandonment, the Building Rights Title attached to a plot of land can be removed. The research problems are how the procedure for determining the abolition of building use rights due to neglect by the owner and how the legal analysis due to the abolition of Building Rights Title abandoned by the owner. The research method used was normative juridical research, with a statute approach). The results of the research showed that the process of determining the abolition Building Rights Title abandoned by the owner conducted by parties from the Regional Office of the National Land Agency (BPN) would carry out a land inventory of land indicated as abandoned land based on Article 4 and Article 9 of the Regulation of the Head of the National Land Agency No. 20 of 2021 concerning Procedures for Controlling Abandoned Land. The abolition was due to Abandoned Building Rights Title by the Owner by not carrying out the obligations of the land right holder. If an object of control had gone through the stages of examination and becomes a proposal from the Head of the Regional Office to the Minister of Agrarian Affairs or the Head of the National Land Agency (BPN), then based on the results of the resume that has been made, the Minister of Agrarian Affairs will issue a Decree on the Determination of Abandoned LandStochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking algorithms and numerical methods for calculating probabilities. For dealing with this, we first apply symmetric assume- guarantee rule symmetric (SYM) for two-component systems and symmetric assume-guarantee rule for n- component systems into stochastic model checking in this paper, and propose a compositional stochastic model checking framework of probabilistic automata based on the NL* algorithm. It optimizes the existed compositional stochastic model checking process to draw a conclusion quickly, in cases the system model does not satisfy the quantitative properties. We implement the framework based on the PRISM tool, and several large cases are used to demonstrate the performance of it.