Ctrl K
All software
1Filter
Mentions
Keywords
7
Program languages
13
Licenses
2
12
1-2 of 2
![Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC](/image/rpc/get_image?uid=6152d3b815a994f5db839bb481b43e882138f86d "Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC")
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
- Deductive verification
- embedded systems
- parameterized systems
- + 2
6
6
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- JSON
- C++
- HTML
- + 10
3
0