Zobrazeno 1 - 10
of 260
pro vyhledávání: '"Bozga, Marius"'
Regular and context-free languages form a central pillar of formal language theory. This is because a variety of formalisms are known that define these classes of languages. For example, we have that finite automata, monoids, algebraic recognizabilit
Externí odkaz:
http://arxiv.org/abs/2408.01226
Autor:
Bozga, Marius, Sifakis, Joseph
Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by the comple
Externí odkaz:
http://arxiv.org/abs/2405.11995
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 6, Iss 1, Pp 01:1-01:27 (2019)
Design, implementation and verification of distributed real-time systems are acknowledged to be very hard tasks. Such systems are prone to different kinds of delay, such as execution time of actions or communication delays implied by distributed plat
Externí odkaz:
https://doaj.org/article/5ab78ef1392145eeabe53f8034c85305
The treewidth boundedness problem for a logic asks for the existence of an upper bound on the treewidth of the models of a given formula in that logic. This problem is found to be undecidable for first order logic. We consider a generalization of Sep
Externí odkaz:
http://arxiv.org/abs/2310.09542
Given a boolean formula $\Phi$(X, Y, Z), the Max\#SAT problem asks for finding a partial model on the set of variables X, maximizing its number of projected models over the set of variables Y. We investigate a strict generalization of Max\#SAT allowi
Externí odkaz:
http://arxiv.org/abs/2305.10003
Autor:
Bozga, Marius, Sifakis, Joseph
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static environment in the
Externí odkaz:
http://arxiv.org/abs/2205.10037
We consider concurrent systems consisting of replicated finite-state processes that synchronize via joint interactions in a network with user-defined topology. The system is specified using a resource logic with a multiplicative connective and induct
Externí odkaz:
http://arxiv.org/abs/2204.12117
We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded number of
Externí odkaz:
http://arxiv.org/abs/2202.09637
We study a sound verification method for parametric component-based systems. The method uses a resource logic, a new formal specification language for distributed systems consisting of a finite yet unbounded number of components. The logic allows the
Externí odkaz:
http://arxiv.org/abs/2112.08292
Autor:
Bozga, Marius, Sifakis, Joseph
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and discusses
Externí odkaz:
http://arxiv.org/abs/2109.06478