Robust safety of timed automata

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Social isolation negatively affects health, induces detrimental behaviors, and shortens lifespan in social species. Little is known about the mechanisms underpinning these effects because model species are typically short-lived and non-social. Using coloni ...

The nucleus accumbens (NAc) is a brain hub regulating motivated behaviors, including social competitiveness. Mitochondrial function in the NAc links anxiety with social competitiveness, and the mitochondrial fusion protein mitofusin 2 (Mfn2) in NAc neurons ...

This paper studies the routing and charging behaviors of electric vehicles in a competitive ride-hailing market. When the vehicles are idle, they can choose whether to continue cruising to search for passengers, or move a charging station to recharge. The ...

The collective behavior of animals has been traditionally studied through observation, quantitative models of behavior, and devices of low intelligence. Nowadays, the advancements in the field of robotics allow for closed-loop experiments that occur in rea ...

In this chapter, we discuss field experiments in surveys that are conducted with the purpose of learning about expectation formation and the link between expectations and behavior. We begin by reviewing the rationale for conducting experiments within surve ...

ObjectivePrematurity is associated with a high risk of long-term behavioral problems. This study aimed to assess the prognostic utility of volumetric brain data at term-equivalent-age (TEA), clinical perinatal factors, and parental social economic risk in ...

Over the past two decades, the thermo-hydro-mechanical behavior of earth-contact structures such as piles, walls, slabs, and tunnels, which simultaneously provide structural support and energy supply, has been studied through various field experiments and ...

Polymer brushes have been theoretically described, their behavior under diverse conditions has been modeled, and their preparation via surface-initiated polymerizations (SIPs) has been progressively refined. However, despite three decades of research endea ...

Adolescent individuals exhibit great variability in cortical dynamics and behavioral outcomes. The developing adolescent brain is highly sensitive to social experiences and environmental insults, influencing how personality traits emerge. A distinct patter ...

Behavioral diversity seen in biological systems is, at the most basic level, driven by interactions between physical materials and their environment. In this context we are interested in falling paper systems, specifically the V-shaped falling paper (VSFP) ...

The medial amygdala (MeA) receives pheromone information about conspecifics and has crucial functions in social behaviors. A previous study showed that activation of GABA neurons in the postero-dorsal MeA (MeApd) with channelrhodopsin-2(H)(134R) (ChR2) sti ...

Structural engineers today are still educated mainly to design new structures. This ignores the fact that structures already exist and need to be maintained. Students are thus often ill-equipped to deal with maintenance and preservation of existing structu ...

Understanding how neural circuits remodel and adapt to animal behavior is a central theme in the field of Neuroscience. One strategy to reach this goal is to repeatedly record the same animal's neural circuits and observe how they adapt when facing differe ...

Compacted scaly clays are complex geomaterials widely used for the realization of dam cores and waste dump liners. This research aims to investigate the swelling/shrinkage behavior of these geomaterials subjected in an oedometric cell to complex hydromecha ...

Due to conservation of neuronal functioning across phyla, molecular targets of insecticides are similar in insects and vertebrates. Insecticides thus pose a risk to aquatic vertebrates, such as fish, and potentially cause neurotoxic effects. Although these ...

Electroadhesion is a versatile and controllable adhesion mechanism that has been used extensively in robotics. Soft electroadhesion embodies electrostatic adhesion in soft materials and is required for shape-adaptive and safe grasping of curved objects and ...

Despite a long history of research in motor control, the exact mechanism of how the brain communicates with the the invertebrate ventral nerve cord (VNC) and the vertebrate spinal cord on a single neuron basis remains largely elusive. Drosophila melanogast ...

This thesis describes advances in the use of novel configurations of non-invasive brain stimulation over the visual system allowing to modulate of modifying electro-physiological activity, interregional interactions and by it, visual behavior such as motio ...

Robust safety of timed automata

Chat with Graph Search

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Orthologic with Axioms

Social isolation shortens lifespan through oxidative stress in ants

Mitofusin-2 in nucleus accumbens D2-MSNs regulates social dominance and neuronal function

Routing and charging game in ride-hailing service with electric vehicles

A biohybrid interaction framework for the integration of robots in animal societies

Survey experiments on economic expectations

Behavioral outcome of very preterm children at 5 years of age: Prognostic utility of brain tissue volumes at term-equivalent-age, perinatal, and environmental factors

Thermo-hydro-mechanical behavior of energy barrettes: Field experiments and numerical simulations

Opportunities, Challenges, and Pitfalls in Making, Characterizing, and Understanding Polymer Brushes

Transcriptomic analysis reveals mitochondrial pathways associated with distinct adolescent behavioral phenotypes and stress response

Morphological Sensitivity and Falling Behavior of Paper V-Shapes

Stimulation of medial amygdala GABA neurons with kinetically different channelrhodopsins yields opposite behavioral outcomes

Engineering of Existing Structures: The Need and Place for Non-destructive Evaluation

Methods for acute and long-term imaging of the ventral nerve cord in behaving adult Drosophila

Role of Stress History on the Swelling-Shrinkage Behavior of Compacted Scaly Clay

Mechanistic Understanding of Neurobehavioral Effects of Insecticides on the Larvae of Zebrafish (Danio rerio)

Self-morphing Soft Parallel-and-coplanar Electroadhesive Grippers Based on Laser-scribed Graphene Oxide Electrodes

Uncovering the neural substrates of communication between the brain and ventral nerve cord in Drosophila melanogaster (italic)

Orchestration of oscillatory activity to improve visual motion discrimination