Verfasser Suchresultate :: Subito Katalog

1

Formal Abstraction and Synthesis of Parametric Stochastic Processes

von Peruffo, Andrea
Veröffentlicht in FORMATS (19. : 2021 : Online) Formal Modeling and Analysis of Timed Systems (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Morte di Vallenstein : Tragedie in 5 Atti di Federico Schiller. Trad. dell'Abate Alessandro Bazzani Veronese Prof. ... in Vienna

von Schiller, Friedrich
Veröffentlicht 1843

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks

von Molyneux, Gareth W.
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A RANDOMIZED ALGORITTHM TO REDUCE THE SUPPORT OF DISCRETE MEASURES

von Cosentino, Francesco
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 19 of 27 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

CAUTIOUS REINFORCEMENT LEARNING WITH LOGICAL CONSTRAINTS

von Hasanbeig, Mohammadhosein
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Leaming

von Hasanbeig, Mohammadhosein
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Neural Abstractions

von Abate, Alessandro
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 34 of 50 (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

von Ahmed, Daniele
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Deep Reinforcement Learning with Temporal Logics

von Hasanbeig, Mohammadhosein
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

von Peruffo, Andrea
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Learning Probabilistic Termination Proofs

von Abate, Alessandro
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Hybrid systems biology : fourth international workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers

Veröffentlicht 2015

Inhaltsverzeichnis
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Numerical software verification : 10th International Workshop, NSV 2017 : Heidelberg, Germany, July 22-23, 2017 : proceedings

Veröffentlicht 2017

Inhaltsverzeichnis
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Formal modeling and analysis of timed systems : 15th International Conference, FORMATS 2017 : Berlin, Germany, September 5-7, 2017 : proceedings

Veröffentlicht 2017

Inhaltsverzeichnis
Full Text
Full Text
Inhaltstext
Beschreibung & Leseproben

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Quantitative evaluation of systems : 18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings

Veröffentlicht 2021

Inhaltsverzeichnis
1850-9999

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

MULTI-AGENT REINFORCEMENT LEARNING WITH TEMPORAL LOGIC SPECIFICATIONS

von Hammond, Lewis
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 1 of 3 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis

von Polymenakos, Kyriakos
Veröffentlicht in QEST (17. : 2020 : Online) Quantitative evaluation of systems (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Bayesian Verification of Chemical Reaction Networks

von Molyneux, Gareth W.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Computation of the Transient in Max-Plus Linear Systems via SMT -Solving

von Abate, Alessandro
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Computational methods in systems biology : 18th international conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings

Veröffentlicht 2020

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: