/*
* SPDX-FileCopyrightText: 2023 Kristóf Marussy
*
* SPDX-License-Identifier: MIT AND CC-BY-4.0
*
* Code in this file is MIT licensed, while content is CC-BY-4.0 licensed.
*/
import clsx from 'clsx';
import type { ReactNode } from 'react';
import {
type Icon,
Gear,
Graph,
MagicWand,
ShieldCheck,
} from '@phosphor-icons/react';
import Section from '@site/src/components/landing/Section';
import styles from './Research.module.css';
function Topic({
title,
style,
Icon,
children,
}: {
title: string;
style: string;
Icon: Icon;
children: ReactNode;
}) {
return (
);
}
export default function Research() {
return (
Cyber-physical systems especially in the railway, automotive,
and aerospace domains with stringent correctness and reliability
requirements
Proving the safety and reliability of critical system designs and
software components in a mathematically precise way
Integrating logical and numerical solvers with intelligent
heuristics to answer challenging analysis questions and
synthesize reliable system designs
Efficient graph-based information processing for system modeling,
testing data-driven systems, and knowledge representation in
autonomous systems
);
}