- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Active model learning of stochastic reactive systems (extended version) ; volume:23 ; number:2 ; day:23 ; month:3 ; year:2024 ; pages:503-524 ; date:4.2024
Software and systems modeling ; 23, Heft 2 (23.3.2024), 503-524, 4.2024
- Urheber
-
Muškardin, Edi
Tappler, Martin
Aichernig, Bernhard K.
Pill, Ingo
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-024-01158-0
- URN
-
urn:nbn:de:101:1-2407222111069.913789617090
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Muškardin, Edi
- Tappler, Martin
- Aichernig, Bernhard K.
- Pill, Ingo
- SpringerLink (Online service)
Ähnliche Objekte (12)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation
Probabilistic black-box reachability checking (extended version)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation
Probabilistic black-box reachability checking (extended version)
Into the unknown: active monitoring of neural networks (extended version)
IIFS and codes : (extended version)
Hierarchies in colored GSPNs : (extended version)
An extended version of mini statecharts
Conditioned Belief Propagation revisited (extended version)
Stochastic Framework for Catchment-Scale Reactive Transport Simulations
Simulation of stochastic partial differential equations and stochastic active contours
Stochastic dynamics of dissolving active particles
Simulative analysis of coloured extended stochastic Petri nets
New old algorithms for stochastic scheduling : extended abstract
An extended stochastic method for seismic hazard estimation